Parameter Via.Operation

type ('a, 'b) t = ('a, 'b) Core.t

The type held by the Closed Profunctor.

val curry : ('a * 'b, 'c) t -> ('a, 'b -> 'c) t

Transform an uncurried function into a curried one.