Do contract key lookups respect Eq?

Do key lookups respect user-provided Eq instances, or do they use a fixed notion of equality?

The latter; Eq instances are ignored.