Monadic Constraint Programming framework
OTHER License
A monad, perhaps.
Tools for programming with ConstraintKinds in GHC
A more flexible mtl
free monads
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Composable probability monads in Haskell.
An implementation of "Freer Monads, More Extensible Effects".
Lift control operations, like exception catching, through monad transformers
The Monad Transformer Library
Attempt to port All About Monads to HaskellWiki
experimenting with unlifted classes via backpack
A Haskell monad transformer library for data validation
Haskell 98 comonads
GHC plugins to constrain the haskell source