%(A:*) %(B:*) @(fst:A) @(snd:B) ((Pair A) B)