いう値が返されたのか、値が存在しなかったのかを区別することができません。型をネストできれば話は違います。区別され、次のようになります。いう値が存在したのか、それとも値が存在しなかったのかで分岐することができます。型がネストできるということはそれだけ表現力が高いということです。僕は一般論としてはネストできる方が望ましいと考えています。相性などを考慮すると、何がベストかは一概には言えません。魅力を大きく損ねるわけではありません。不便なケースがある程度です。型がどのように実現されているのか見ていきます。型をネストできる言語とできない言語があるのかも理解できると思います。