Certainly you can bake monadic-type behaviour into the language, but at that point the Result type is superfluous and provides a weaker interface than what lang

Certainly you can bake monadic-type behaviour into the language, but at that point the Result type is superfluous and provides a weaker interface than what language constructs could provide on their own.