А который имеет один конструктор который принимает тип А?
тогда почем у такое работает a = A где мы конструктор без аргументов передаем а такое ошибку`b = A A`
a :: A -> A a = A
а вот в этом сообщении он не параметризован
Это такой Void
Обсуждают сегодня