типах.
Т.е. у меня есть
id :: forall. a -> a
vl :: Int
Могу я как-то применить id к vl? Не имеея имлементации. И получить тип Int как результат вывода?
type familes
ну пробросить id на тайплевел нельзя все таки
Обсуждают сегодня