https://www.youtube.com/watch?v=tAGJ5zJXJ7w
> 26:00-28:00 https://youtu.be/tAGJ5zJXJ7w?si=W7wBuwDArVgtIcN5&t=1560
Alas "No union types in general, only for errors". Still a great milestone.
"Deep immutability" in active research
https://www.youtube.com/watch?v=tAGJ5zJXJ7w