Comment by pwdisswordfishq

So much trouble to avoid introducing the optional monad.