Re: [Haskell-cafe] Showing the 1 element tuple

On Tue, Dec 19, 2006 at 11:35:49PM -0000, Brian Hulley wrote:

Tuples represent dimensionality therefore a 1-element tuple is just a 1-dimensional value ie the value itself hence a == (a) == ((a)) == (((a)))

That is true in a strict language, and for unboxed (unlifted) types, but in haskell tuples are lifted types -- (a) contains _|_ and (_|_), while a only contains _|_.