let
after s ~n =
if
n = max_int
then
empty
else
from s ~n:(n + 1)