Может чтобы отличать?

А потом взяли и добавил PatternSynonyms и все пошло к чертям

Никогда кстати кажется не пользовался этим

да операторы и в фемелях могут быть

не помню есть ли там такое правило

Кажется есть

Операторы, да

когда я велосипедил фемели :$

похоже что так... а есть где ссылка на место в гайде? или это надо идти репорт читать?

не могу найти сходу, но где-то должно быть в мануале

есть вот такое:

GHC allows type constructors, classes, and type variables to be operators, and to be written infix, very much like expressions. More specifically:

A type constructor or class can be any non-reserved operator. Symbols used in types are always like capitalized identifiers; they are never variables. Note that this is different from the lexical syntax of data constructors, which are required to begin with a :.

но это раздел про конструкторы типов, который вскользь упоминает про конструкторы данных

чтобы отличать переменные от постоянных в образцах, как индентификаторы с большой и с маленькой

да вроде ничего не пошло

> Note that this is different from the lexical syntax of data constructors, which are required to begin with a :.

и всё...

(Ну и славно. Ибо нефиг ещё и в конструкторы тащить взрыв на ASCII фабрике.)

для тех, кто любит таблицы Сыровецкого.

классы — классы символов Юникода. названия классов наизусть не помню, но в целом должно быть понятно