- maybe->generation maybeprocedure
- either->generation eitherprocedure
If maybe/either is a Just/Right, then its payload is returned. If the Just/Right does not have exactly one value, then a condition of kind (exn type payload) is raised. If maybe/either is Nothing / a Left, then an end-of-file object is returned.