freelude

A generalisation of the Category->Functor->Applicative->Monad hierarchy and more.

This package generalises classes like Category, Functor etc to allow them to be defined on more data types, for example, tuples and sets, whilst still attempting to maintain backward compatability.

See the module Freelude for more details.