diff --git a/ocaml/pottier/foo_defunctionalized.ml b/ocaml/pottier/foo_defunctionalized.ml
index 22dd311fc50d487e5835cbca11892ec7960d7778..4e924e0120eb7be9c52b7204b13de07359a96cdc 100644
--- a/ocaml/pottier/foo_defunctionalized.ml
+++ b/ocaml/pottier/foo_defunctionalized.ml
@@ -1,7 +1,10 @@
+(* GADT *)
 type (_, _) closure =
   | NEqZero   : (int, bool) closure
   | Increment : (int,  int) closure
+(* GADT *)
 
+(* APPLY *)
 let rec apply =
   fun (type a b) (this : (a, b) closure) (that : a) : b ->
     match this with
@@ -11,23 +14,25 @@ let rec apply =
     | Increment ->
         let x = that in
         x + 1
+(* APPLY *)
 
+(* FILTERMAP *)
 let rec filter p xs =
   match xs with
-  | [] ->
-      []
-  | x :: xs ->
-      if apply p x then x :: filter p xs else filter p xs
+  | []      -> []
+  | x :: xs -> if apply p x then x :: filter p xs
+               else filter p xs
 
 let rec map f xs =
   match xs with
-  | [] ->
-      []
-  | x :: xs ->
-      apply f x :: map f xs
+  | []      -> []
+  | x :: xs -> apply f x :: map f xs
+(* FILTERMAP *)
 
+(* FOO *)
 let foo (xs : int list) : int list =
   filter NEqZero (map Increment xs)
+(* FOO *)
 
 let () =
   assert (foo [ -1; 0; +1 ] = [ 1; 2 ]);
diff --git a/slides/fpottier-05.pdf b/slides/fpottier-05.pdf
index 0c12f6fe7c3836ddd22c209fd52a983db9a0b40b..06f30a66f8adab8c4f0291982917dadb64699e49 100644
Binary files a/slides/fpottier-05.pdf and b/slides/fpottier-05.pdf differ
diff --git a/slides/fpottier-printing-05.pdf b/slides/fpottier-printing-05.pdf
index 383792d56134a9fd529756d08c2f149dddf9a659..c6886238eb485c1629e62e213a90344e03dbe2c7 100644
Binary files a/slides/fpottier-printing-05.pdf and b/slides/fpottier-printing-05.pdf differ