Articles of algebraic data types