In 2016, Jonathan Blow published a video demo for his upcoming (but still unreleased) programming language Jai. In it, he does a demo about how the polymorphic solver in the Jai compiler is much bette…