morphisms-functors-0.1.4: Functors, theirs compositions and transformations
Control.Transformation.Natural
type Natural t u = forall a. (Covariant t, Covariant u) => t a -> u a Source #
type (~>) t u = Natural t u Source #