[haskell] Числа как конструкторы типов

Разрешены ли определения вида

нет

Чисто теоретически, чем обусловлен этот запрет?

Числовые литералы уже принадлежат к типу (Num a => a). Одновременно принадлежать к типам Rank и Tricks они не могут.

А как же полиморфизм? И почему нельзя использовать 8::Rank в подобных случаях? Или для конструкторов явное указание типов не работает?

И кстати, можно ли вообще использовать конструкторы с одинаковыми именами для разных типов?

И кстати, можно ли вообще использовать конструкторы с одинаковыми именами для разных типов?

нет

Ясно, спасибо.

Ясно, спасибо.

тут немного объясняется:
http://home.pipeline.com/~hbaker1/Subtypep.html