> I don't object to moving this to the closure converter; I think it's OK in XML. It can't possibly slow stuff down noticeably. > I guess it depends on whether or not we allow datatypes with an empty cons > vector. We don't (although I don't think the type checkers check this -- it would be nice to add).