[Haskell-cafe] Short circuiting and the Maybe monad

[Eric Stansifer]

> I have another implementation of FreeModule which specializes S to the
> natural numbers:  but the set of functions f :: \mathbb{N} -> R are
> isomorphic with f :: [R] (provided we only permit infinite lists), in
> the same way that Dave Menendez describes how f :: Bool -> a is
> isomorphic to f :: Diag a.

This is what I get for reading only the first half of Dave Menendez's
email... I saw the words "Here's a more complex example" and skipped
the rest.  Read his explanation -- it's a lot more coherent than mine.

Eric