Amazing! That's the word that popped up in my mind too. Scala 3 is my on shared 1st place favorite language Union/intersection types — indeed, I use all the t

Amazing! That's the word that popped up in my mind too. Scala 3 is my on shared 1st place favorite language Union/intersection types — indeed, I use all the time, in Typescript. And Opaque Types looks lovely too. All across my code base, I have type aliases like "UserId" or "PageId" or "PostNr" or "DraftNr" etc, and it'll be nice that this can now be type safe for real, not just type aliases. (Just waiting for opaque types to arrive to Typescript too.)