Generalized_algebraic_data_type