Re: [Haskell-cafe] found monad in a comic

Marc A. Ziegert wrote:

http://xkcd.com/c248.html ( join /= coreturn )

IMHO this could be a beautiful and easy way to explain monads. comments?

I read it as a take on Godel Escher Bach, especially the stuff about counterfactual situations. But you are right. Actually its more about the recursive do notation and fixpoints: you can borrow data from the future as long as you are careful. But yes, they are a form of monad. Paul.