1,3c1,3
< *** Error: attempt to unify with curried function ===(...)
< *** Error: attempt to unify with curried function ===(...)
< *** Error: attempt to unify with curried function ===(...)
---
> *** Error: attempt to unify with curried function ===(@)
> *** Error: attempt to unify with curried function ===(2 => @)
> *** Error: attempt to unify with curried function ===(@)
