diff --git a/sledge/lib/import/option.ml b/sledge/lib/import/option.ml
index ae9809664..b58e5d40b 100644
--- a/sledge/lib/import/option.ml
+++ b/sledge/lib/import/option.ml
@@ -15,8 +15,6 @@ let pp fmt pp_elt fs = function
 let cons xo xs = match xo with Some x -> x :: xs | None -> xs
 
 module Monad_syntax = struct
-  type nonrec 'a t = 'a t
-
   let ( let+ ) x f = map ~f x
   let ( and+ ) x y = both x y
   let ( let* ) x f = bind ~f x
diff --git a/sledge/lib/import/option.mli b/sledge/lib/import/option.mli
index f26895a0c..0730f4df7 100644
--- a/sledge/lib/import/option.mli
+++ b/sledge/lib/import/option.mli
@@ -13,4 +13,4 @@ val pp : ('a_pp -> 'a -> unit, unit) fmt -> 'a_pp -> 'a option pp
 
 val cons : 'a t -> 'a list -> 'a list
 
-module Monad_syntax : Monad_syntax with type 'a t = 'a option
+module Monad_syntax : Monad_syntax with type 'a t := 'a option