Haskell: Почему не допускаются конструкторы инфиксного типа?

В отчете Haskell 98 я обнаружил следующее:

Синтаксис выражений типа Haskell приведен выше. Так же, как значения данных строятся с использованием конструкторов данных, значения типов строятся из конструкторов типов. Как и в случае конструкторов данных, имена конструкторов типов начинаются с заглавных букв. В отличие от конструкторов данных, конструкторы инфиксного типа не допускаются (кроме (->)).

Нет причин, объясняющих , почему конструкторы инфиксного типа не допускаются. В Agda и т. П. Конструкторы инфиксного типа являются обычным явлением. Почему не в Хаскеле?