[DEFAULT]
summary = General purpose sum type with two cases