Draft #8 saysmaybe-and / either-andIf there are no exprs, then Nothing / a Left of an unspecified value is returned.maybe-or / either-orIf there are no exprs, then a Just/Right of an unspecified value is returned.I believe they are reversed. Reference implementation is correct.