let app t args = 
  List.fold_left (fun acu x -> TTerm (App (acu, x))) t args