Исправление qnikst, (текущая версия) :
s/Num/Integral/ я с телефона писал, так что не очень осторожно.
Prelude> :{
Prelude| let addX :: Integral a => a -> Int
Prelude| addX = fromIntegral . (+1)
Prelude| :}
Prelude> :t addX
addX :: Integral a => a -> Int
Prelude> :{
Prelude| let addX :: (Integral a, Integral b) => a -> b
Prelude| addX = fromIntegral . (+1)
Prelude| :}
Prelude> :t addX
addX :: (Integral b, Integral a) => a -> b
Исправление qnikst, :
s/Num/Integral/ я с телефона писал, так что не очень осторожно.
Исходная версия qnikst, :
s/Num/Integral/