-> a
f x = x
Правильно ли понял, что в f v, не v обобщается до Num, а f специализируется до Double a => a -> a?
не бывает Double a =>
Double -> Double там получается
вы какими-нибудь языками с "дженериками" пользовались? (спрашиваю, чтоб понять с чего объяснять)
Обсуждают сегодня