1 2 3
Fail Inductive type {type : Type} : Type := T : type. Inductive type {type : Type} : Type := T .
