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