You need to sign in or sign up before continuing.
`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.