I feel that this discussion on what is an abstract type member, what’s concrete, what’s bound, what’s inhabited, etc. is digressing from the topic of opaque type aliases.
I suggest to close this inconclusive digression here, unless it really brings something in terms of evaluating the opaque type alias proposal.
Edit: the mentioned discussion was moved to What's in a type alias