Rule fired: Class op + (BUILTIN)
Rule fired: Class op fromInteger (BUILTIN)
Rule fired: Int# -> Integer -> Int# (GHC.Num.Integer)
Rule fired: USPEC plusTwoRec @Int (T15445a)
Rule fired: USPEC $fShowList @Int (GHC.Show)
Rule fired: Class op >> (BUILTIN)
Rule fired: Class op show (BUILTIN)
Rule fired: USPEC plusTwoRec @Int (T15445a)
Rule fired: Class op enumFromTo (BUILTIN)
Rule fired: Class op show (BUILTIN)
Rule fired: Class op enumFromTo (BUILTIN)
Rule fired: eftIntList (GHC.Enum)
Rule fired: ># (BUILTIN)
Rule fired: ==# (BUILTIN)
Rule fired: eftIntList (GHC.Enum)
Rule fired: ># (BUILTIN)
Rule fired: ==# (BUILTIN)