Another reference to Note [Kind-changing of (~) and Coercible]