include a traverse' with a constant StdGen