Explain higher-kinded Coerctions in Note [Coercible Instances]

(although there is not really a lot to explain, it seems.)