diff --git a/resources/bytecode/javFiles/PaternMatchingHaskellStyle.jav b/resources/bytecode/javFiles/PaternMatchingHaskellStyle.jav
index c3c58171..5d9cff2e 100644
--- a/resources/bytecode/javFiles/PaternMatchingHaskellStyle.jav
+++ b/resources/bytecode/javFiles/PaternMatchingHaskellStyle.jav
@@ -1,3 +1,6 @@
+sealed interface List<T> permits LinkedElem, Elem {}
+
+public record LinkedElem<T>(T a, List<T> l) implements List<T> {}
 public record Elem<T>(T a) implements List<T> {}
 
 public class PaternMatchingHaskellStyle {