In Haskell bedeuten Produkte vom Typ Lifted, dass zwischen (a, b, c) und (a, (b, c)) ein semantischer Unterschied besteht.

Wenn alle Musterübereinstimmungen aller Produkte immer unwiderlegbar wären, gäbe es keinen Unterschied, und (a, b, c) könnte syntaktischer Zucker für (a, (b, c)) sein.

Warum entschied sich Haskell für das Heben von Produkten?