• Num<A>
• Eq<A>
• Ord<A>
• Semigroup<A>
• Monoid<A>
• Higher-kinds
• Monad
• Conclusion