:: [a] -> Int -> Maybe a -package:relude -package:Agda package:tidal

Safer version of !! -