Algebraic types

Algebraic types are the building blocks that let us build up more complex types.