引数ポジションだとそうだと思うんですが、返り値のポジジョンだと内側から決められると思うんですよね

4:56 AM

https://github.com/apple/swift-evolution/blob/main/proposals/0328-structural-opaque-result-types.md#higher-order-functions ここにそれっぽいことが書いてあります