:: [a] -> Int -> Maybe a -package:vector -package:tidal package:safe