@hackage constrained-monads0.3.0.0

Typeclasses and instances for monads with constraints.

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.