apply IO new specification to RandomWalk