1
datatype ('a,'b)term = Var 'a | App 'b (('a,'b)term_list)
2
and ('a,'b)term_list = Nil | Cons (('a,'b)term) (('a,'b)term_list)