Monad classes using type families, with instances for various monad
transformers.

WWW: http://hackage.haskell.org/package/monads-tf