let flip f b a =
  f a b