|Next||Types Are Theorems; Programs Are Proofs||8|
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?