diff --git a/.merlin b/.merlin
index 998a48f5..0e4c8f02 100644
--- a/.merlin
+++ b/.merlin
@@ -4,6 +4,7 @@ S src/iter/
 S src/sexp/
 S src/threads/
 S src/string
+S src/monomorphic
 S benchs
 S examples
 S tests
diff --git a/_oasis b/_oasis
index fbf34b65..c388c63d 100644
--- a/_oasis
+++ b/_oasis
@@ -47,6 +47,12 @@ Library "containers"
   BuildDepends:     bytes, result
   # BuildDepends:     bytes, bisect_ppx
 
+Library "containers_monomorphic"
+  Path:             src/monomorphic
+  Modules:          CCMonomorphic
+  FindlibParent:    containers
+  FindlibName:      monomorphic
+
 Library "containers_unix"
   Path:             src/unix
   Modules:          CCUnix
diff --git a/src/monomorphic/CCMonomorphic.ml b/src/monomorphic/CCMonomorphic.ml
new file mode 100644
index 00000000..ac3ff290
--- /dev/null
+++ b/src/monomorphic/CCMonomorphic.ml
@@ -0,0 +1,4 @@
+
+(* This file is free software, part of containers. See file "license" for more details. *)
+
+include Pervasives
diff --git a/src/monomorphic/CCMonomorphic.mli b/src/monomorphic/CCMonomorphic.mli
new file mode 100644
index 00000000..5ade3df0
--- /dev/null
+++ b/src/monomorphic/CCMonomorphic.mli
@@ -0,0 +1,16 @@
+
+(* This file is free software, part of containers. See file "license" for more details. *)
+
+(** {1 Shadow unsafe functions and operators from Pervasives} *)
+(** @since NEXT_RELEASE *)
+
+val (=) : int -> int -> bool
+val (<>) : int -> int -> bool
+val (<) : int -> int -> bool
+val (>) : int -> int -> bool
+val (<=) : int -> int -> bool
+val (>=) : int -> int -> bool
+
+val compare : int -> int -> int
+val min : int -> int -> int
+val max : int -> int -> int