datatype ('a,'b)term = Var 'a | App 'b ((('a,'b)term)list)
