[Haskell-cafe] Help understanding a partial application

[Levi Stephen]

Ryan Ingram wrote:
> Just expand out the function composition:
>     Dual . Endo . flip f = (\x -> Dual (Endo (flip f x)))
> which has the type d -> Dual (Endo c).
>  
>   -- ryan
> 

Aha.

I didn't get this straight away, but once I looked at the type signature for 
function composition, it became clear.

Thanks,
Levi