Generics.Instant.Functions.Eq