En Haskell, los productos de tipo elevado significan que hay una diferencia semántica entre (a, b, c) y (a, (b, c)).

Si todas las coincidencias de patrones de todos los productos siempre fueran irrefutables, entonces no habría diferencia, y (a, b, c) podría ser azúcar sintáctico para (a, (b, c)).

¿Por qué Haskell eligió levantar productos tipo?