A simple type class for success/failure computations.