Add algebraic data type example