Make equality constraints in kinds invisible