mtl-2.2.2: Monad classes, using functional dependencies

Monad classes using functional dependencies, with instances for various monad transformers, inspired by the paper Functional Programming with Overloading and Higher-Order Polymorphism, by Mark P Jones, in Advanced School of Functional Programming, 1995 (http://web.cecs.pdx.edu/~mpj/pubs/springschool.html).

Signatures

Modules

Control
Submodules
- Monad
  Submodules
  - Control.Monad.Cont
    Submodules
    Control.Monad.Cont.Class
  - Control.Monad.Error
    Submodules
    Control.Monad.Error.Class
  - Control.Monad.Except
  - Control.Monad.Identity
  - Control.Monad.List
  - Control.Monad.RWS
    Submodules
    Control.Monad.RWS.Class
    Control.Monad.RWS.Lazy
    Control.Monad.RWS.Strict
  - Control.Monad.Reader
    Submodules
    Control.Monad.Reader.Class
  - Control.Monad.State
    Submodules
    Control.Monad.State.Class
    Control.Monad.State.Lazy
    Control.Monad.State.Strict
  - Control.Monad.Trans
  - Control.Monad.Writer
    Submodules
    Control.Monad.Writer.Class
    Control.Monad.Writer.Lazy
    Control.Monad.Writer.Strict