More tests.
More fantasy land stuff: Monoid.
More fantasy: (Functor).
Composition test for functor.