わかった。?を使えばいいんだ。おもろ~！！
doc.rust-jp.rs/rust-by-exam...

rustに、 haskellでいうところの

sequence :: (Traversal t, Monad m) => t (m a) -> m (t a)

みたいなやつの Option 用のってないですか？

fn f(v (Option<i32>, Option<&str>)) -> Option<(i32, &str)>

がほしい

verseの型システム面白いな、型を集合として定義して、値は型に所属するのではなく集合に所属するとしている。 値は複数の集合に所属出来る(例えば数字の3は自然数・整数・正の数・5以下の数・2以上の数など)ので型に縛られるのではない。
変数も、「型を宣言する」のではなく「適合する値を絞り込んでいく」ことで値を決定するので、例えばタプルの1つ目の値を束縛する関数fst(使用例が一枚目)の実装がこう(2枚目)なる。
つまり、fst関数自体は「xは引数に渡されたタプルの1つ目の要素」という制約を付けてxを返しているだけ。ここから先は完全に自分の理解になるけど、これによって

Bluesky のユーザー数は現在 1,000 万人を超えており、私は #2,330 番目でした。