> If there was an error, the value should be meaningless. I don't understand what your complaint is against returning both the value and the error. What TFA sa

> If there was an error, the value should be meaningless. I don't understand what your complaint is against returning both the value and the error. What TFA says: yeah, just make invalid states unrepresentable in the type system.