т.д., поэтому Constraint :: Type
> тип — это то, что можно написать справа от ::?
Тип это то, что можно написать полностью справа от ::. Например, Nothing :: Maybe Int, так что Maybe Int это тип, но Maybe это конструктор типа
Constraint — тип?
Обсуждают сегодня