:: [a] -> Int -> Maybe a -package:vector -package:tidal -package:curl-runnings package:Agda

Lookup function (safe). O(min n index).