# Algebraic Types¶

## Backlinks¶

- Product Type
- A product type is the result of the product operation on algebraic types. The cardinality of a product type is the product of it's fields. For example

- Sum Type
- A sum type is the result of the sum operation on two or more algebraic types. In most programming languages, this is expressed with a pipe character. For example in purescript the type
`Boolean`

can be expressed as

- A sum type is the result of the sum operation on two or more algebraic types. In most programming languages, this is expressed with a pipe character. For example in purescript the type