o << start;
  for (IT p = v_start; p != v_end; ++p) {
    o << *p;
    o << ", ";
  }
  o << end;
  return o;
}

class TaggedValueIOStreamVisitor {
  std::ostream& o_;

 public:
  explicit TaggedValueIOStreamVisitor(std::ostream& o) : o_(o) {}

  std::ostream& operator()(const ListPtr& x) {
    OutList(o_, x->begin(), x->end(), '[', ']');
    return o_;
  }