@hackage freelude0.3.2.0

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.