-- Subchapter 11.5 "iter", "succ":


iter :: Integer -> (a -> a) -> (a -> a)
iter n f
 |  n > 0      = f . iter (n - 1) f
 |  otherwise  = id
iter :: Integer -> (a -> a) -> (a -> a)
iter n f
 |  n > 0      = f . iter (n - 1) f
 |  otherwise  = id
iter n f
 |  n > 0      = f . iter (n - 1) f
 |  otherwise  = id