Algebraic sum types readily expose their various p...

# announcements

[fellshard]

Algebraic sum types readily expose their various possible values to the rest of the application, and it fits well in that context.