# natural-transformation [](http://hackage.haskell.org/package/natural-transformation) [](https://travis-ci.org/ku-fpg/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.