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