typeclass instance

• Newtype coercion
• Instance signatures
• Orphan instances
• Rigid type variables