diff --git a/src/base/typ.ml b/src/base/typ.ml
index 3e792add6..c98f0505a 100644
--- a/src/base/typ.ml
+++ b/src/base/typ.ml
@@ -463,5 +463,3 @@ module Make (Checked : Checked_monad) = struct
 
   include T
 end
-
-include Make (Checked_runner.Simple)