type Nat

var a: Type

generated type CTree a ::= leaf a | branch (Nat ->? CTree a)