- maybe->values maybeprocedure
- either->values eitherprocedure
If maybe/either is a Just/Right, returns the values of its payload; otherwise returns no values.
If maybe/either is a Just/Right, returns the values of its payload; otherwise returns no values.