diff --git a/resources/bytecode/javFiles/PaternMatchingHaskellStyle.jav b/resources/bytecode/javFiles/PaternMatchingHaskellStyle.jav
new file mode 100644
index 00000000..c3c58171
--- /dev/null
+++ b/resources/bytecode/javFiles/PaternMatchingHaskellStyle.jav
@@ -0,0 +1,11 @@
+public record Elem<T>(T a) implements List<T> {}
+
+public class PaternMatchingHaskellStyle {
+   public append(LinkedElem(a, Elem(e)), l2) {
+   	  return new LinkedElem<>(a, new LinkedElem<>(e, l2));
+   }
+
+   public append(LinkedElem(a, r), l2) {
+   	  new LinkedElem<>(a, append(r, l2));
+   }
+}