Talk:Generalized algebraic data type/to do