Sum types and monads are very useful if you believe that errors as values are far superior, you should check them out.