Is there a type-safe list-ref function provided by Typed Racket?
list-ref
The list-ref function appears to throw an error if you try to access an ind
