Comparing Instances of a Type Parameter