:: [a] -> Int -> Maybe a -package:relude -package:Agda -package:vector package:ShellCheck