Tiny, Untyped Monads
text.marvinborner.de
Implementing monads in untyped languages