add mkpair fst snd