nonempty 0.10.0

Correct by construction non-empty vector
Documentation