• Couldn't match expected type ‘Int’
              with actual type ‘[Int] -> [Int]’
• In the expression: min $ next x
  In an equation for ‘minimum’:
      minimum k x
        | k < 0 = inf
        | k == 0 = 0
        | k > 0 = min $ next xtypecheck