NumCat for (->) and Kleisli m
outV makes a .v.txt