IMO this is one of the advantages of the sum-type approach: the added friction of dealing with those explicit types and values encourages you to write as much c

IMO this is one of the advantages of the sum-type approach: the added friction of dealing with those explicit types and values encourages you to write as much code as possible that simply can't error in the first place