README

Not all of the monadic types are in this section, but most of them are. The other monadic types are the collections, and the effect-system monads of IO, Eff, StreamT, and Pipes