http://blog.sigfpe.com/2008/12/mother-of-all-monads.html "Suppose someone stole all the monads but one, which monad would you want it to be?" Ha! This is that paper with the famous quote: "I often find I learn more computer science by trying to decode random isolated sentences than from reading entire papers." Anyway, not for now. I'll get back into this when making the ANF transformer.