Checked exceptions are the poor man's sum types. They're overly ceremonious for relatively limited functionality (don't encompass the broad range of circumstan

Checked exceptions are the poor man's sum types. They're overly ceremonious for relatively limited functionality (don't encompass the broad range of circumstances where you would want to have multiple return types) and poor composability (e.g. lamdas).