:: [a] -> Int -> Maybe a -package:xmonad-contrib -package:protolude -package:relude -package:yesod-paginator package:Agda

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