`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.
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.