Description
Typeclasses and instances for monads with constraints.
Description
A library for monads with constraints over the types they contain. This allows set, etc to conform to the monad class. It is structured as a prelude replacement: everything that doesn't conflict with the new definitions of Functor
, Monad
, etc is reexported.