Also check the data con scope for newtypes
Add a note about Coercible Instances