やっぱ let foo: Foo に後から代入しか仕方ないと思う。

2:46 AM

tagged unionとuntagged unionって型自体が違うし

throws は Result<T, E> と等価で Optional<T> と同様 tagged union じゃないですか？