[mssdvd]

How come the authors did not want to add proper sum-types?

[masklinn]

Because they ignored essentially everything we learned after 1990 if not 1980.