 walk is a bounded version of the predefined function iterate
-- 
walk :: Int -> Change a -> Walk a
walk n f = take n . iterate f


walk :: Int -> Change a -> Walk a
walk n f = take n . iterate f
walk n f = take n . iterate f