Which is the type of (flip .)?

Question

I\'m trying to understand why the type of:

(flip .) is: (a -> a1 -> b -> c) -> a -> b -> a1 -> c

First of all, the type of:

Answer 1

(flip .) is (.) flip, so:

• (.) :: (bx -> cx) -> (ax -> bx) -> ax -> cx
• flip :: (ay -> by -> cy) -> by -> ay -> cy
• In (.) flip,
  • bx is ay -> by -> cy
  • cx is by -> ay -> cy
  • so it’s all (ax -> (ay -> by -> cy)) -> ax -> (by -> ay -> cy),
    which is just (ax -> ay -> by -> cy) -> ax -> by -> ay -> cy,
    which matches up with (flip .) :: (a -> a1 -> b -> c) -> a -> b -> a1 -> c.