non empty primitive immutable array