Yet another half-baked idea for working around the orphan rule

language design
7

That still sounds problematic because it introduces a distinction that doesn't currently exists, plus it doesn't fix all breakage.

FYI there was a discussion of a very similar feature Struct Alias where some of these points were raised.