>>105910583
I tested out making a go-like language with algebraic types for errors to test this theory and gave up on it and went back to the way go does it, just with a new control flow statement that makes the if statement in the OP along with some others into a one-liner. You basically have to have full monadic errors like haskell, or multi-return like go, anything in between just sucks to use.