A monad transformer library, inspired by the paper "functional programming with overloading and higher-order polymorphism", by mark p jones (<http://www.cse.ogi.edu/~mpj/>), advanced school of functional programming, 1995.

this is the version bundled with the interpreter.