Module documentation for 0.4

natural-transformation

A natural transformation transforms a container f a into another container g a.
Natural transformations act as functor morphisms in category theory.
Technically, f and g should be functors, but we allow any correctly-shaped structure.

Changes

0.4

Rename Nat constructor to NT

Rename run to unwrapNT

Rename nat to wrapNT

Backport the Semigroup instance for (:~>) by conditionally depending on
the semigroups package