diff --git a/src/content/1.4/code/ocaml/snippet03.ml b/src/content/1.4/code/ocaml/snippet03.ml
index b5533bd7a..694a84853 100644
--- a/src/content/1.4/code/ocaml/snippet03.ml
+++ b/src/content/1.4/code/ocaml/snippet03.ml
@@ -3,5 +3,5 @@ module type Kleisli = sig
   type b
   type c
 
-  val ( >=> ) : (a -> b writer) -> (b -> c writer) -> a -> c writer
+  val ( >=> ) : (a -> b writer) -> (b -> c writer) -> (a -> c writer)
 end
diff --git a/src/content/1.7/code/ocaml/snippet04.ml b/src/content/1.7/code/ocaml/snippet04.ml
index d6e711ee1..82bb813aa 100644
--- a/src/content/1.7/code/ocaml/snippet04.ml
+++ b/src/content/1.7/code/ocaml/snippet04.ml
@@ -2,5 +2,5 @@ module type Maybe_Functor = sig
   type a
   type b
 
-  val fmap : (a -> b) -> a option -> b option
+  val fmap : (a -> b) -> (a option -> b option)
 end
diff --git a/src/content/1.7/code/ocaml/snippet21.ml b/src/content/1.7/code/ocaml/snippet21.ml
index 44311c344..64751c808 100644
--- a/src/content/1.7/code/ocaml/snippet21.ml
+++ b/src/content/1.7/code/ocaml/snippet21.ml
@@ -1,3 +1,3 @@
 module type Reader_Fmap_Example = sig
-  val fmap : ('a -> 'b) -> ('r -> 'a) -> 'r -> 'b
+  val fmap : ('a -> 'b) -> ('r -> 'a) -> ('r -> 'b)
 end
diff --git a/src/content/1.8/code/ocaml/snippet17.ml b/src/content/1.8/code/ocaml/snippet17.ml
index 0c2bae22a..b3d87450e 100644
--- a/src/content/1.8/code/ocaml/snippet17.ml
+++ b/src/content/1.8/code/ocaml/snippet17.ml
@@ -1,6 +1,6 @@
 module KleisliComposition = struct
   let ( >=> )
-      : ('a -> 'b writer) -> ('b -> 'c writer) -> 'a -> 'c writer
+      : ('a -> 'b writer) -> ('b -> 'c writer) -> ('a -> 'c writer)
     =
    fun m1 m2 x ->
     let y, s1 = m1 x in
diff --git a/src/content/3.4/code/ocaml/snippet04.ml b/src/content/3.4/code/ocaml/snippet04.ml
index 82df8ae98..5f9c7d663 100644
--- a/src/content/3.4/code/ocaml/snippet04.ml
+++ b/src/content/3.4/code/ocaml/snippet04.ml
@@ -1,6 +1,6 @@
 module type Monad = sig
   type 'a m
 
-  val ( >=> ) : ('a -> 'b m) -> ('b -> 'c m) -> 'a -> 'c m
+  val ( >=> ) : ('a -> 'b m) -> ('b -> 'c m) -> ('a -> 'c m)
   val return : 'a -> 'a m
 end