maybe-and / either-and

    If there are no exprs, then Nothing / a Left of an unspecified value is returned.

maybe-or / either-or

   If there are no exprs, then a Just/Right of an unspecified value is returned.

I believe they are reversed.  Reference implementation is correct.