zypeh
says to
OwO
写成 sum :: (Int a) a -> a -> a sum x y = x + y