Inductive_type loading ...