fix union method in NonEmpty