For some operations, it’d be nice to have a sentinel value (= to be notified when the sequence ends).
This could, e.g. be achieved via function that maps
'a Gen.t to
('a option) Gen.t. The latter sequence would be one element longer than the former.
Is there a built-in way of doing this?