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