let is_num = function
  | App(Arith(Num _), []) -> true
  | _ -> false