Re: [Haskell-cafe] Short circuiting and the Maybe monad

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