> 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
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
