Avoid vacuous operations on known non-empty Monos

See: https://error-prone.picnic.tech/bugpatterns/NonEmptyMono