[Haskell-cafe] Showing the 1 element tuple

[Stefan O'Rear]

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 _|_.