That is, curry ( f ) {\displaystyle {\text{curry}}(f)} takes an argument of type X {\displaystyle X} and returns a function of type Y → Z {\displaystyle Y\to Z} . Uncurrying is the reverse transformation, and is most easily understood in terms of its right adjoint, apply.