Fail Inductive type {type : Type} : Type := T : type.

Inductive type {type : Type} : Type := T .