(a -> b) -> a -> b A function that takes a function from a to b and an a and returns a b.
a -> (a -> b) -> b A function that takes an a and a function from a to b and returns a b.
2 Likes