Paul writes
| It has occurred to me that unlifted tuples achieved via a special
| "newtype" decl are not the same as those achieved with strictness
| annotations. This is because with "newtype" it seems that people want
| a situation where (_|_,_|_) = _|_. But with strictness annotations on
| both arguments a few other things also happen:
|
| (x,_|_) = _|_
| (_|_,y) = _|_
Well said--This is what I was trying to say the other day, that with the
strictness annotations on lifted tuples we would have unlifted, but not lazy
products. Anyway, I don't think this (by itself) will do.
--Joe
