Experimenting with Types

Experiments with Types