- truth->maybe objprocedure
- truth->either obj fail-obj ...procedure
If obj is #f, return Nothing / a Left of fail-objs; otherwise, return a Just/Right whose payload is obj.
☞ The following procedures interface between the Maybe protocol and the list-truth protocol, which uses #f to represent failure and a list to represent success.