A monad transformer library, inspired by the paper "functional programming with overloading and higher-order polymorphism", by mark p jones (), advanced school of functional programming, 1995.

this is the version bundled with the interpreter.