Next Types Are Theorems; Programs Are Proofs 14

How to construct a function with any type


Next Next