Archived tweet #10489 from the @leastfixedpoint Twitter Archive@DRMacIver Conjecture: where there's some sensible action that can be taken, sum types make sense; otherwise, exceptions make sense (but catching exceptions is usually not the right thing to do)