This makes sense. It is the direction I was exploring in this draft: [Proposal Draft] automatic protocol forwarding. I had a second draft in progress but abandoned it when it became clear it wasn't going to be in scope in the near-term. I had suggested a future direction of newtype as syntactic sugar for the underlying forwarding mechanism. Obviously this direction is orthogonal to opaque type aliases despite the superficial similarity.