Next Types Are Theorems; Programs Are Proofs 30

Leftovers

       \a -> (a, 3)    :: a -> (a, Int)

Next Next