<@U6P03BM0W> `Either` encodes a sum type, a struct...

# announcements

[cedric]

@dave08 Either encodes a sum type, a structure that carries either one field or the other but not both. Pair is a product type: it carries both fields.