freelude-0.1.0.1: A generalisation of the Category->Functor->Applicative->Monad hierarchy and more