Found an old copy of my PLT-scheme encoded monads.