INDUCTIVE DEFINITION TList () [ ]
OF ARITY Set
BUILT FROM:
     TNil: TList
   | TCons: T→TList→TList