snapshot :: Int -> RPList s Int -> RPR s Int
snapshot acc Nil         = return acc
snapshot :: Int -> RPList s Int -> RPR s Int
snapshot acc Nil         = return acc
snapshot acc Nil         = return acc