pairInferTypeRules :: PairInferTypeContext e w s r m ki ty pt tm a
              => InferTypeInput e w s r m m ki ty pt tm a
pairInferTypeRules =
  let
    ph = PairHelper createPair expectPair
  in
    inferTypeInput ph
pairInferTypeRules :: PairInferTypeContext e w s r m ki ty pt tm a
              => InferTypeInput e w s r m m ki ty pt tm a
pairInferTypeRules =
  let
    ph = PairHelper createPair expectPair
  in
    inferTypeInput ph
pairInferTypeRules =
  let
    ph = PairHelper createPair expectPair
  in
    inferTypeInput ph