At least in python there's a difference between type aliases and typing.NewType (the difference described here: https://gist.github.com/simonwhitaker/3a24d669b26b4f373690c6...)

That's what I was thinking of. I assume something similar exists in other languages.