so if we want to optimize for RandomAccess we need...
# stdlib
k
so if we want to optimize for RandomAccess we need to do a typecheck