remove `OneTypeCmp` and wait for equality constraints in where clauses