Monad classes, using type families

Version on this page:
LTS Haskell 21.24:
Stackage Nightly 2023-12-10:
Latest on Hackage:

See all snapshots monads-tf appears in

BSD-3-Clause licensed by Andy Gill
Maintained by Ross Paterson
This version can be pinned in stack with:monads-tf-,1427

Module documentation for

  • Control
    • Control.Monad
      • Control.Monad.Cont
        • Control.Monad.Cont.Class
      • Control.Monad.Error
        • Control.Monad.Error.Class
      • Control.Monad.Identity
      • Control.Monad.List
      • Control.Monad.RWS
        • Control.Monad.RWS.Class
        • Control.Monad.RWS.Lazy
        • Control.Monad.RWS.Strict
      • Control.Monad.Reader
        • Control.Monad.Reader.Class
      • Control.Monad.State
        • Control.Monad.State.Class
        • Control.Monad.State.Lazy
        • Control.Monad.State.Strict
      • Control.Monad.Trans
      • Control.Monad.Writer
        • Control.Monad.Writer.Class
        • Control.Monad.Writer.Lazy
        • Control.Monad.Writer.Strict

Monad classes using type families, 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 (

This package is almost a compatible replacement for the mtl-tf package.