Add an example of equality for parameterized types