Module listP. Inductive llist : Prop := | lnil : llist | lcons : forall A:Set, A -> llist -> llist. (* sprawdzic Prop, Type *) Check llist. End listP. Module listS. Inductive llist : Set := | lnil : llist | lcons : forall A:Set, A -> llist -> llist. (* sprawdzic Prop, Type, nat *) Check llist. End listS. Module listT. Inductive llist : Type := | lnil : llist | lcons : forall A:Set, A -> llist -> llist. (* sprawdzic Prop, Type *) Check llist. End listT.