nonempty 0.10.0

Correct by construction non-empty vector
Documentation
1
2
use flake