2 ms·There's also sum and product types, again by analogy.by zeckalpha 11y agoThere's also sum and product types, again by analogy.