`Result` Algebraic Data Type Proposal

[supermacro]

Related thread. An Option type is a cousin of the Result Type:

Optional Typing

Is there any hope of optional typing landing in ecmascript in future? Checking arguments at top of scope in functions, methods and constructors is getting really boring. It could even open the door to allow ecmascript to be a reasonable option for writing wasm.