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