Em Haskell, produtos do tipo levantado significam que há uma diferença semântica entre (a, b, c) e (a, (b, c)).

Se todas as correspondências de padrões de todos os produtos sempre fossem irrefutáveis, não haveria diferença e (a, b, c) poderia ser um açúcar sintático para (a, (b, c)).

Por que a Haskell optou por levantar produtos do tipo?