Tag: algebraic data types (ADTs)