New Monadology package

Monadology is intended as a collection of the best ideas in monad-related classes and types, with a focus on correctness and elegance, and theoretical understanding, rather than practical performance. It covers exceptions, monad composition, lifecycles, coroutines, tunnelling, unlifting, transformer composition, monad data, among other things.
[read more on my blog]
[on Hackage]