Rewrote the equality rules for Maybe.