On Mon, Feb 2, 2009 at 3:25 PM, Ketil Malde <ke...@malde.org> wrote: > Gregg Reynolds <d...@mobileink.com> writes: > >> Just shorthand for something like "data Tcon a = Dcon a", applied to Int. >> Any data constructor expression using an Int will yield a value of type Tcon >> Int. > > Right. But then the set of values is isomorphic to the set of Ints, > right?
Only if you're ignoring non-terminating values. Otherwise, you have to deal with the fact that Tcon Int contains _|_ and DCon _|_. -- Dave Menendez <d...@zednenem.com> <http://www.eyrie.org/~zednenem/> _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
