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