That simplifies to `Option<Nel<E>>` or...

# arrow

[Derek Berner]

That simplifies to Option<Nel<E>> or even Nel<E>? or even just List<E>... and then if it's empty then you know it's valid?