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.