In 2020, I released Cubiml, a language based on Algebraic Subtyping, and earlier this year, I followed it up with PolySubML, extending it with polymorphic types. No sooner had I released PolySubML then I started planning the design of my next programming language, which would have all the features I wanted to add but didn’t have time for with PolySubML.