flip f x y = f y x id x = x
f x y = x