Data.Vector.Sized
data Vector a n
sLength
length
append
foldr
foldl
singleton
zipWith
zipWithSame
toList
fromList
unsafeFromList
fromList'
unsafeFromList'
all
splitAt
takeAtMost
splitAtMost
drop
take
map
head
tail
index