[ { "BlackBox" :
    { "name"      : "GHC.Integer.Type.plusInteger"
    , "kind"      : "Expression"
    , "type"      : "plusInteger :: Integer -> Integer -> Integer"
    , "template"  : "~ARG[0] + ~ARG[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "GHC.Integer.Type.minusInteger"
    , "kind"      : "Expression"
    , "type"      : "minusInteger :: Integer -> Integer -> Integer"
    , "template"  : "~ARG[0] - ~ARG[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "GHC.Integer.Type.quotInteger"
    , "kind"      : "Expression"
    , "type"      : "quotInteger :: Integer -> Integer -> Integer"
    , "template"  : "~ARG[0] / ~ARG[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "GHC.Integer.Type.leInteger"
    , "kind"      : "Expression"
    , "type"      : "leInteger :: Integer -> Integer -> Bool"
    , "template"  : "~ARG[0] <= ~ARG[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "GHC.Integer.Type.gtInteger"
    , "kind"      : "Expression"
    , "type"      : "gtInteger :: Integer -> Integer -> Bool"
    , "template"  : "~ARG[0] > ~ARG[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "GHC.Integer.Type.ltInteger"
    , "kind"      : "Expression"
    , "type"      : "ltInteger :: Integer -> Integer -> Bool"
    , "template"  : "~ARG[0] < ~ARG[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "GHC.Integer.Type.geInteger"
    , "kind"      : "Expression"
    , "type"      : "geInteger :: Integer -> Integer -> Bool"
    , "template"  : "~ARG[0] >= ~ARG[1]"
    }
  }
]