Parameterized Types

Using parameterized types as “check-points”.