NoErrorがtyped errorの最たるモチベーションなのは解るんだけど、それ故にNoErrorの実現のためにResultを導入するのはなんかなという気がする