`NonEmpty` fusion

We now have no fusion rules for NonEmpty, which could mean poor performance. We ought to introduce such rules to make sure code takes no penalty for enforcing invariants of non-emptiness.