[Haskell-cafe] Short circuiting and the Maybe monad

Dan Piponi dpiponi at gmail.com
Wed May 14 15:42:25 EDT 2008

On Wed, May 14, 2008 at 12:03 PM, Andrew Coppin
<andrewcoppin at btinternet.com> wrote:

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

Now that's funny. Compare with the first line of this paper:

Anyway, I worked through an elementary example of this with usable
source code here:

More information about the Haskell-Cafe mailing list