flip :: (a -> b -> c) -> b -> a -> c
가


flip :: Functor f => f (a -> b) -> a -> f b
flip ff x = fmap ($x) ff
의 함수 버전임


flip' :: (a -> f b) -> f (a -> b)
이것도 생각해 봤는데, 별로 의미는 없는것 같음
(Applicative랑 flip'이 있으면 Monad를 얻을 수 있기는 한데, 이게 가능한 f를 함수((->) r)밖에 못찾음)