Description
Provides monad classes implemented with Haskell type families. These classes help code describe common monadic capabilities while using type-family based associated types.
It is useful for libraries that prefer this style over other transformer or mtl designs. It is a programming library for Haskell developers and has no standalone interface.