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 _|_. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
