What about a → (a → b) ?

Intuitively, the answer is no.

• Suppose f :: a -> (a -> b)

• Then f gets an argument of type a

• It returns a function g

• If g is called on an argument of type a, it returns a value of type b

• Where would g get a value of type b?