let
mapi xs ~f =
let
aux i =
Option
.map (next xs) ~f:(f i)
in
from aux