Add algebraic data types example