diff --git a/test/AllFailTests.agda b/test/AllFailTests.agda
index f267e5ef..2ffd550b 100644
--- a/test/AllFailTests.agda
+++ b/test/AllFailTests.agda
@@ -34,3 +34,4 @@ import Fail.Issue154
 import Fail.PartialCaseNoLambda
 import Fail.NonStarDatatypeIndex
 import Fail.NonCanonicalSpecialFunction
+import Fail.TypeLambda