Add type classes example, update do notation example.