indexed-transformers

An Atkey indexed monad is a Functor enriched category. An indexed monad transformer transforms a Monad into an indexed monad.

This library provides

• a typeclass for indexed monad transformers
• qualified @do@ notation to use with them
• and instances for the
  • free indexed monad transformer
  • continuation indexed monad transformer
  • state indexed monad transfomer
  • writer indexed monad transformer