применять типы?
type Bool = forall m a. SimplyTyped m => m (a -> a -> a)
... :: Bool @m
Компиль на вот это пишет ошибку Cannot apply function of kind ‘*’ to visible kind argument ‘m’
тут forall это аргумент не типа, а значения типа x :: Bool y = x @m @a
Это понял, спасибо
Обсуждают сегодня