I think it depends on what the semantics of a present but empty collection is. If that cannot happen, then a vec which is considered absent if zero length is the right thing. If no vec vs. Empty vec is a valuable semantic distinction the the option path is better.