Does the code also run? If I try to run the code (either from the command line, or from IntelliJ), I get the following error:
error: illegal character: '\u001d'

Thanks for sharing! Definitely learned some new things here. I cannot reproduce the example in slide 48 though. Do you use a special character between `non` and `sealed`? On slide 49 you mention \u001d, but if I use this character, the code no longer compiles 😅.