Hi Tomas! I think you'll be interested in this proposed language feature that's currently under review: swift-evolution/0346-light-weight-same-type-syntax.md at main · apple/swift-evolution · GitHub
Here's the review thread, in case you're interested in leaving a review: SE-0346: Lightweight same-type requirements for primary associated types