diff --git a/src/core/CCResult.ml b/src/core/CCResult.ml
index 20ad028a9..2b4dbd359 100644
--- a/src/core/CCResult.ml
+++ b/src/core/CCResult.ml
@@ -10,6 +10,10 @@ type 'a printer = Format.formatter -> 'a -> unit
 
 (** {2 Basics} *)
 
+type nonrec (+'good, +'bad) result = ('good, 'bad) result =
+  | Ok of 'good
+  | Error of 'bad
+
 type (+'good, +'bad) t = ('good, 'bad) result =
   | Ok of 'good
   | Error of 'bad
diff --git a/src/core/CCResult.mli b/src/core/CCResult.mli
index 61984ac2d..839cdedcc 100644
--- a/src/core/CCResult.mli
+++ b/src/core/CCResult.mli
@@ -21,6 +21,10 @@ type 'a printer = Format.formatter -> 'a -> unit
 
 (** {2 Basics} *)
 
+type nonrec (+'good, +'bad) result = ('good, 'bad) result =
+  | Ok of 'good
+  | Error of 'bad
+
 type (+'good, +'bad) t = ('good, 'bad) result =
   | Ok of 'good
   | Error of 'bad