Algebraic_data_type loading ...