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