Experimenting with parameterized types.