f::(a,b)->(c,d)->((b,d),(a,c))
f a b = (,) ((,) (snd a) (snd b)) ((,) (fst a) (fst b))
f::(a,b)->(c,d)->((b,d),(a,c))
f a b = (,) ((,) (snd a) (snd b)) ((,) (fst a) (fst b))
f a b = (,) ((,) (snd a) (snd b)) ((,) (fst a) (fst b))