diff --git a/bin/js/string_recorder/string_recorder.ml b/bin/js/string_recorder/string_recorder.ml
index a5320c5..c81f93a 100644
--- a/bin/js/string_recorder/string_recorder.ml
+++ b/bin/js/string_recorder/string_recorder.ml
@@ -5,7 +5,7 @@ open React_trace
 open Lib_domains
 open Concrete_domains
 open Interp_effects
-include Recorder.Recorder_intf
+include Recorder_intf
 
 type recording = string
 
diff --git a/bin/js/string_recorder/string_recorder.mli b/bin/js/string_recorder/string_recorder.mli
index 4e1fb6d..4cc0e62 100644
--- a/bin/js/string_recorder/string_recorder.mli
+++ b/bin/js/string_recorder/string_recorder.mli
@@ -1,2 +1 @@
-open Recorder
 include Recorder_intf.Intf with type recording = string
diff --git a/bin/native/report_box_recorder/report_box_recorder.ml b/bin/native/report_box_recorder/report_box_recorder.ml
index df5b8d7..7e263d2 100644
--- a/bin/native/report_box_recorder/report_box_recorder.ml
+++ b/bin/native/report_box_recorder/report_box_recorder.ml
@@ -5,7 +5,7 @@ open React_trace
 open Interp_effects
 open Lib_domains
 open Concrete_domains
-include Recorder.Recorder_intf
+include Recorder_intf
 module B = PrintBox
 
 type recording = (string * B.t) list
diff --git a/bin/native/report_box_recorder/report_box_recorder.mli b/bin/native/report_box_recorder/report_box_recorder.mli
index 1f043c6..86bb6ae 100644
--- a/bin/native/report_box_recorder/report_box_recorder.mli
+++ b/bin/native/report_box_recorder/report_box_recorder.mli
@@ -1,2 +1 @@
-open Recorder
 include Recorder_intf.Intf with type recording = (string * PrintBox.t) list
diff --git a/lib/default_recorder.ml b/lib/default_recorder.ml
index 8e97c73..7d0ee7a 100644
--- a/lib/default_recorder.ml
+++ b/lib/default_recorder.ml
@@ -1,7 +1,7 @@
 open Stdlib.Effect
 open Stdlib.Effect.Deep
 open Interp_effects
-include Recorder.Recorder_intf
+include Recorder_intf
 
 type recording = unit
 
diff --git a/lib/default_recorder.mli b/lib/default_recorder.mli
index f10aab6..1208374 100644
--- a/lib/default_recorder.mli
+++ b/lib/default_recorder.mli
@@ -1,4 +1,3 @@
-open Recorder
 include Recorder_intf.Intf
 
 (** Default recorder does nothing *)
diff --git a/lib/dune b/lib/dune
index 45f2e68..a9d78cd 100644
--- a/lib/dune
+++ b/lib/dune
@@ -1,3 +1,3 @@
 (library
  (name react_trace)
- (libraries recorder base logs flow_parser lib_domains))
+ (libraries recorder_intf base logs flow_parser lib_domains))
diff --git a/lib/interp.ml b/lib/interp.ml
index b55c72b..ffe960b 100644
--- a/lib/interp.ml
+++ b/lib/interp.ml
@@ -447,8 +447,7 @@ type 'recording run_info = {
 }
 
 let run (type recording) ?(fuel : int option)
-    ~(recorder :
-       (module Recorder.Recorder_intf.Intf with type recording = recording))
+    ~(recorder : (module Recorder_intf.Intf with type recording = recording))
     (prog : Prog.t) : recording run_info =
   Logger.run prog;
 
diff --git a/lib/recorder/dune b/lib/recorder_intf/dune
similarity index 56%
rename from lib/recorder/dune
rename to lib/recorder_intf/dune
index 95e8492..5655be4 100644
--- a/lib/recorder/dune
+++ b/lib/recorder_intf/dune
@@ -1,3 +1,3 @@
 (library
- (name recorder)
+ (name recorder_intf)
  (libraries base))
diff --git a/lib/recorder/recorder_intf.ml b/lib/recorder_intf/recorder_intf.ml
similarity index 100%
rename from lib/recorder/recorder_intf.ml
rename to lib/recorder_intf/recorder_intf.ml