sum of products type

<programming> algebraic data type.