Inductive_type