non-informative : Constructor arguments are in Prop only
small : Constructor arguments are not in Type and SetP and CProp
unit : Non (mutually) recursive /\ only one constructor /\ non-informative
non-informative : Constructor arguments are in Prop only
small : Constructor arguments are not in Type and SetP and CProp
unit : Non (mutually) recursive /\ only one constructor /\ non-informative