T15502.hs:7:17-58: Splicing expression
    lift (toInteger (maxBound :: Int) + 1) ======> 2147483648
T15502.hs:8:17-42: Splicing expression
    lift (minBound :: Int) ======> (-2147483648)