(flip .)
is (.) flip
, so:
(.) :: (bx -> cx) -> (ax -> bx) -> ax -> cx
flip :: (ay -> by -> cy) -> by -> ay -> cy
- In
(.) flip
,bx
isay -> by -> cy
cx
isby -> 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
.