Generalized_algebraic_data_type loading ...