The latest version of Vec is 1.0.5-0.

Data.Vec.Nat

Monadoc does not yet provide module details. Would you like to view this module on Hackage instead?