reader :: Int -> Int -> SRef s (RPList s Int) -> RPR s Int
reader 0 acc _    = return acc
reader :: Int -> Int -> SRef s (RPList s Int) -> RPR s Int
reader 0 acc _    = return acc
reader 0 acc _    = return acc