Add a note about Coercible Instances