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