f : a -> (b -> c) | a has A

f