:: [a] -> Int -> Maybe a is:exact package:safe