Provides the graded monad structure to Haskell via ControlEffect with a number of analogs of familiar monads and some new things: Reader  Writer  State  Maybe  Counter  Update and a wrapper over normal monads (Control