Data.Universe.Instances.Eq