- BlackBox: name: GHC.Classes.gtInt kind: Expression type: 'gtInt :: Int -> Int -> Bool' template: ~ARG[0] > ~ARG[1] - BlackBox: name: GHC.Classes.geInt kind: Expression type: 'geInt :: Int -> Int -> Bool' template: ~ARG[0] >= ~ARG[1] - BlackBox: name: GHC.Classes.ltInt kind: Expression type: 'ltInt :: Int -> Int -> Bool' template: ~ARG[0] < ~ARG[1] - BlackBox: name: GHC.Classes.leInt kind: Expression type: 'leInt :: Int -> Int -> Bool' template: ~ARG[0] <= ~ARG[1]