Interesting proposal for Error handling and Null through unified option Type.

[mratsim]

I don't think there is a need for language-level support.

You can already implement it as a library to showcase.