{ v : Text → List Natural }