>I don't think this is better than the &Rust syntax, but another potential way to go is the positional argument syntax: func concatenate(a: some Collection, b: some Collection) -> some Collection where $0.Element == $1.Element, $2.Element == $1.Element
