INDUCTIVE DEFINITION A () [ ]
OF ARITY Set
BUILT FROM:
     ASort: nat→nat→A
   | AHead: A→A→A