Adding Algebraic Datatypes example