How to Find the Answer to the Problem of X, Y, and Z

Five years ago, I actually started implementing a type system just to see how soon it breaks. And that's when I learned about intersection types for the first time. So in like 2020 or 2019, there was a master master of science publication on adding a gradual type system and got brought to a little bit of a true elixir.