*** 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 /(...)
*** Error: attempt to unify with curried function /(...)
*** Error: attempt to unify with curried function *(...)
*** Error: attempt to unify with curried function /(...)
