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);