INDUCTIVE DEFINITION PList () [ ]
OF ARITY Set
BUILT FROM:
     PNil: PList
   | PCons: nat→nat→PList→PList