How do you forward opaque inputs to default implementation outputs without a derived protocol?

That works here (if all opaque outputs are changed from some Any to Output).

But constraining extensions to a concrete type (String, there), does not address the question. For the original question, the type is not String, but some View from a ViewBuilder. The some allows for several constraints to be satisfied in a way that concrete known types don't permit.