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.