protocol HeterogeneousSequence { associatedtype Element } に対して some HeterogeneousSequence<.Element : View> と制約するなら seq.element は some View になりそうですね、理論的には。