Better error handling with just two Union Types

In previous posts I've covered my beef with error handling in some programming languages: Why Go-style error handling is not great Why TypeScript and Crystal have the best Union Types But what can w