let map xs ~f =
  let aux _ = Option.map (next xs) ~f in
  from aux