[Haskell-cafe] Showing the 1 element tuple

Stefan O'Rear stefanor at cox.net
Tue Dec 19 18:50:32 EST 2006

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

More information about the Haskell-Cafe mailing list