The type definition `type X Y` declares new type X with the underlying type of Y. X and Y share underlying types and nothing else. This is a useful feature an

The type definition `type X Y` declares new type X with the underlying type of Y. X and Y share underlying types and nothing else. This is a useful feature and there's nothing weird or special case about how this works. It's just not the aliasing feature you expected.