It's pretty cool, and pretty powerful what you can do with it. Should other languages adopt this approach? I think named types is better for building abstractions, but I haven't come up with a good explanation yet.
Ha it's funny that I forgot to put this in there, I knew Scala had it but I've never used it myself. Once again, Scala looking like the best language 🚀. I wonder if more languages will bolt-on structural typing like this or if it will remain a niche to Typescript.