diff --git a/test/typed/Scheme.agda b/test/typed/SchemeTyped.agda
similarity index 98%
rename from test/typed/Scheme.agda
rename to test/typed/SchemeTyped.agda
index 0d6ae14..82333ed 100644
--- a/test/typed/Scheme.agda
+++ b/test/typed/SchemeTyped.agda
@@ -1,5 +1,5 @@
 -- compilation of λ□ type schemes
-module Scheme where
+module SchemeTyped where
 
 open import Agda.Builtin.List
 open import Agda.Builtin.Nat