It also opens up a possible future direction for a non-empty array, which clearly should have the sugar [some of UInt8]
. This can be disambiguated from an opaque element type, which can also be supported in composition: [some of some BinaryInteger]
.
3 Likes