Algebraic types

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

• Void type
• Unit type
• Pair types
  • n-tuples and nested pairs
• Sum types