Archived tweet #10491 from the @leastfixedpoint Twitter Archive

@DRMacIver (Further conjecture: maybe sum-type "errors" make sense in *programs*, ie value-computing largely side-effect-free code, while "exns" make sense in *systems*, ie interactive code.)