diff --git a/SwitchAppend.java b/SwitchAppend.java
deleted file mode 100644
index b8ba53b2..00000000
--- a/SwitchAppend.java
+++ /dev/null
@@ -1,6 +0,0 @@
-sealed interface List<T> permits LinkedElem, Elem {}
-
-record LinkedElem<T>(T a, List<T> l) implements List<T> {}
-record Elem<T>(T a) implements List<T> {}
-
-public class SwitchAppend {}