Lengths for [Weak]{Map,Set} constructors