- BlackBox:
    name: GHC.Classes.eqInt
    kind: Expression
    type: 'eqInt :: Int ->
      Int -> Bool'
    template: ~ARG[0] == ~ARG[1]
- BlackBox:
    name: GHC.Classes.neInt
    kind: Expression
    type: 'neInt :: Int ->
      Int -> Bool'
    template: ~ARG[0] != ~ARG[1]
- BlackBox:
    name: GHC.Classes.&&
    kind: Expression
    type: '(&&) :: Bool ->
      Bool -> Bool'
    template: ~ARG[0] & ~ARG[1]
- BlackBox:
    name: GHC.Classes.||
    kind: Expression
    type: '(||) :: Bool ->
      Bool -> Bool'
    template: ~ARG[0] | ~ARG[1]
- BlackBox:
    name: GHC.Classes.not
    kind: Expression
    type: 'not :: Bool ->
      Bool'
    template: ~ ~ARG[0]