[Haskell-cafe] Short circuiting and the Maybe monad

Andrew Coppin andrewcoppin at btinternet.com
Wed May 14 15:03:42 EDT 2008

Janis Voigtlaender wrote:
> http://wwwtcs.inf.tu-dresden.de/~voigt/mpc08.pdf

"It is well-known that trees with substitution form a monad."

...OK, I just learned something new. Hanging around Haskell Cafe can be 
so illuminating! :-)

Now, if only I could actually comprehend the rest of the paper... o_O

More information about the Haskell-Cafe mailing list