next :: Int -> [Int]
next = undefined

minimum :: Int -> Int -> Int
minimum k x
  | k < 0 = inf
  | k == 0 = 0
  | k > 0 = min $ next x