This just means that the problem requires more than a Boolean, but rather something like boolean | error. In many languages from the OOP heyday that alternative

This just means that the problem requires more than a Boolean, but rather something like boolean | error. In many languages from the OOP heyday that alternative part was expressed via throwing an exception.