4 ms·
Types can be composed in two ways. This is fundamental to type theory. It can be composed via a product or a sum.
by crimsonalucard 7y ago
Types can be composed in two ways. This is fundamental to type theory. It can be composed via a product or a sum.