> Could we accomplish something similar to `newtype` by making the `typealias` declaration more powerful? It's the first thing I tried, but afair someone from the Core Team opposed extending typealias - and I had to agree that an "alias" should be just a synonym.