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





f x y = x