functor 0.1.0

Covariant, contravariant, invariant and bivariant functors.