Reference  Note [Kind-changing of (~) and Coercible]