Re: newtypes

[Tom Pledger]

Marcin 'Qrczak' Kowalczyk writes:
 > Thu, 16 Mar 2000 14:38:30 -0500, Chris Okasaki <[EMAIL PROTECTED]> pisze:
 > 
 > > How are these two statements reconciled for recursive
 > > types such as
 > > 
 > >   newtype Foo = F Foo
 > 
 > IMHO simply the only value of this type is bottom. [...]

Hi.

Shouldn't applying (\(F _) -> ()) differentiate between bottom and
(F bottom)?

Do the two statements reconcile trivially in this case, into
"Foo has the same representation as Foo"?

Regards,
Tom