Use |-@{...} to avoid the need for casts (in tests)