1{-# SPECIALISE [1] x :: Integer -> Integer -> Integer, 2 Integer -> Int -> Integer, Int -> Int -> Int #-} 3 4x :: (Num a, Integral b) => a -> b -> a 5x = undefined 6 7{-# SPECIALISE INLINE [999] y :: Integer -> Integer -> Integer, 8 Integer -> Int -> Integer, Int -> Int -> Int #-} 9 10y :: (Num a, Integral b) => a -> b -> a 11y = undefined 12