Better Comment [Kind-changing of (~) and Coercible]