maybe.hh: add iterator support