Next Types Are Theorems; Programs Are Proofs 15

How to construct a function with any type

        \a -> b      ::   a -> b

Next Next