var a :Type+

type List a : Type

free type List a ::= Nil | Cons(head : a; tail : List a)