diff --git a/typeclasses/typeclasses.lhs b/typeclasses/typeclasses.lhs
index 43fc91b..db629a4 100644
--- a/typeclasses/typeclasses.lhs
+++ b/typeclasses/typeclasses.lhs
@@ -6,12 +6,13 @@ Index
 =====
 
 - Typeclasses and instances
+- Functor
 - Monoid
+- Applicative
 - Foldable
-- Functor
-- Applicative Functor
 - Traversable
-- Monad
+- Concluding example
+- (Sorry, no monads this time)
 
 <div style="display: none;">
 
@@ -458,8 +459,8 @@ foldr :: (a -> (b -> b)) -> b -> [a] -> b
 foldr f z xs = appEndo (foldComposing f xs) z
 ```
 
-Foldables
-=========
+Foldable
+========
 
 * Finally, the class for foldable is (with most methods omitted):
 
@@ -508,6 +509,8 @@ Foldable
 Traversable
 ===========
 
+Example
+=======
 
 Bibliography
 ============