minor
make ArraySequence covariant
add sealed annotation