Next Types Are Theorems; Programs Are Proofs 5

Which types are inhabited?

Suppose we're given a type, such as one of

        a -> (b -> b)
        a -> (b -> a)
        a -> (a -> b)

Are there any functions with these types?
Next Next