[Haskell-cafe] type metaphysics

[Ketil Malde]

Gregg Reynolds <dev at 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? 

>> I don't follow this argument.  Are you saying you can remove a
>> data constructor from a type, and still have the same type?  And
>> because of this, the values of the type do not constitute a set?

> Yep.  

I don't see why you would consider it the same type.  Since, given any
two data types, I could remove all the data constructors, this would
make them, and by extension, all types the same, wouldn't it?

-k
-- 
If I haven't seen further, it is by standing in the footprints of giants