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