Simplifications in AsEmpty instances