Add pairEq example; also check pairEq when we can't infer