typeclass instance

• Newtype coercion
• Instance signatures
• Rigid type variables