diff --git a/sledge/src/import/import.ml b/sledge/src/import/import.ml
index c7d240822..ee33ee883 100644
--- a/sledge/src/import/import.ml
+++ b/sledge/src/import/import.ml
@@ -12,16 +12,8 @@ include (
     sig
       include
         (module type of Base
-          (* extended below, remove *)
-          with module Array := Base.Array
-           and module Invariant := Base.Invariant
-           and module List := Base.List
-           and module Map := Base.Map
-           and module Option := Base.Option
-           and module Result := Base.Result
-           and module Set := Base.Set
           (* prematurely deprecated, remove and use Stdlib instead *)
-           and module Filename := Base.Filename
+          with module Filename := Base.Filename
            and module Format := Base.Format
            and module Marshal := Base.Marshal
            and module Scanf := Base.Scanf
diff --git a/sledge/src/import/import.mli b/sledge/src/import/import.mli
index a93c6ae91..5ea7f24fd 100644
--- a/sledge/src/import/import.mli
+++ b/sledge/src/import/import.mli
@@ -12,16 +12,8 @@ include module type of (
     sig
       include
         (module type of Base
-          (* extended below, remove *)
-          with module Array := Base.Array
-           and module Invariant := Base.Invariant
-           and module List := Base.List
-           and module Map := Base.Map
-           and module Option := Base.Option
-           and module Result := Base.Result
-           and module Set := Base.Set
           (* prematurely deprecated, remove and use Stdlib instead *)
-           and module Filename := Base.Filename
+          with module Filename := Base.Filename
            and module Format := Base.Format
            and module Marshal := Base.Marshal
            and module Scanf := Base.Scanf