let is_cons = function
  | App(Pair(Cons), [_;_]) -> true
  | _ -> false