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**?

Next | Next |