Module type Relude_Interface.NATURAL_TRANSFORMATION

Captures a natural tranformation

It seems surprisingly hard to do forall a. f a -> g a in OCaml, but maybe I'm missing something. See the Relude_Free_Applicative for an example usage.

type f('a);
type g('a);
let f: f('a) => g('a);