Type aliases do not solve this. The closest you can get is using the new value classes & those have some very big caveats