# 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

```
data MyType = { isTrue: Boolean
, isFalse: Boolean
}
```

|MyType| = |Boolean| \cdot |Boolean| = 2 \cdot 2 = 4

Product types have a monoidal identity of Unit. |Unit| = 1.