let is_car = function
  | App(Pair(Car), [_]) -> true
  | _ -> false