added an example equality in a product type