Sized sequence data-types