そのスコープだけで取り扱われる分、関数返り値のortの方が狭い範囲の議論になると思う

3:40 AM

あとはそも本質的にはgenericsだから複数の関数があるときに同一の型にならない

3:41 AM

existentialとはここが違う