f :: (a -> b) -> (r -> a) -> (r -> b)

この型の評価順序がわかりません