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 ).

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