Hi Csongor,

I believe the reason for this failure is that  a -> @m b  gets parsed as  a -> @(m b).
Why is that? Because a ‘btype’ includes type-level application.

If you replace the ‘btype’ after PREFIX_AT with an ‘atype’, this particular issue should go away. At least that’s my hypothesis, I haven’t tested it.

- Vlad