Archived tweet #10494 from the @leastfixedpoint Twitter Archive

@DRMacIver Interesting. Makes me think: perhaps if exns are the only side-effect a program engages in, sum types would be better there.