- maybe->two-values maybeprocedure
If maybe is a Just, returns the value of its payload and the additional value #t; otherwise returns two values, both #f. If maybe does not have exactly one value, then a condition of kind (exn type payload) is raised.