So the result of division would be an Option? Option types are great, but cannot...

		goto11 on March 13, 2020 \| parent \| context \| favorite \| on: Exceptions should be Exceptional (2016) So the result of division would be an Option? Option types are great, but cannot reasonably be used for all types of error conditions.