[Haskell-cafe] found monad in a comic

[Paul Johnson]

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.