import java.lang.Integer;
import java.lang.Object;
import java.lang.Float;
import java.lang.String;

sealed interface List permits LinkedElem, Elem {}


public record LinkedElem(Integer a,List l) implements List{} //Implementiert List und wird auch permittet
public record Elem(Integer c) implements List{} //Implementiert List, wird aber nicht permittet

public class SwitchCaseHeritageDetection {
    public main(o) {
         return switch(o) {
                case LinkedElem(a, Elem(e)) -> a + e;
                case LinkedElem(a, LinkedElem(e, Elem(f))) -> a + e + f;
                default -> 0;
         };
    }
}







