let is_app = function App _ -> true | _ -> false