данных. Тогда почему литеральная единичка в типе Int не является таким же конструктором данных, а является обычным литеральным значением?
Если уж установили правила определения типов, така давайте все и везде им следовать. А так получается что какие то типы распоряжаются литералами, а какие то, в частности , мои, не могут
литералы не то же самое, что вызов конструкторов.
Обсуждают сегодня