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 {}