It would be nice if `Data.Vector.Mutable` (and variants) had a safe read option (or perhaps read with default) of the form (name is irrelevant to me) ```haskell safeRead :: PrimMonad m => MVector (PrimState m) a -> Int -> m (Maybe a) ```