sum of products type
<
programming
>
algebraic data type
.