functor 0.1.2

Covariant, contravariant, invariant and bivariant functors.