Haskell Int в строку

Я знаю, что этот вопрос возникал раньше, но ответ в этом вопросе по какой-то причине не не работает для меня. Мой пример - следующий код:

fiblist = 0 : 1 : (zipWith (+) fiblist (tail fiblist))

fib :: (Integral a) => a -> String
fib n
  | n < 10000 = show (fiblist !! n)
  | otherwise = error "The number is too high and the calculation might freeze your machine."

Я пытаюсь преобразовать элемент с индексом n в строку, чтобы функция соответствовала его сигнатуре, но получаю следующую ошибку:

MyLib.hs:63:34:
    Couldn't match expected type ‘Int’ with actual type ‘a’
      ‘a’ is a rigid type variable bound by
          the type signature for fib :: Integral a => a -> String
          at MyLib.hs:61:8
    Relevant bindings include
      n :: a (bound at MyLib.hs:62:5)
      fib :: a -> String (bound at MyLib.hs:62:1)
    In the second argument of ‘(!!)’, namely ‘n’
    In the first argument of ‘show’, namely ‘(fiblist !! n)’
Failed, modules loaded: none.

Итак, как я могу преобразовать его?

Изменить №1:

Мне известны параметры командной строки +RTS -M256m -K256m и тому подобное, но они, похоже, не работают для этого кода, он по-прежнему съедает почти всю мою память, если n слишком велико. Другое поведение для length бесконечного списка, там аргументы командной строки работают и останавливают выполнение кода.

Изменить №2:

Я нашел способ импортировать genericIndex:

import Data.List

что, я думаю, совпадает с тем, что показано на здесь.

Теперь, когда я использую следующий код:

fib :: (Integral a) => a -> String
fib n
  | n < 10000 = genericIndex fiblist n
  | otherwise = error "The number is too high and the calculation might freeze your machine."

Я получаю следующую ошибку:

MyLib.hs:64:11:
    No instance for (Num String) arising from the literal ‘0’
    In the first argument of ‘(:)’, namely ‘0’
    In the expression: 0 : 1 : (zipWith (+) fiblist (tail fiblist))
    In an equation for ‘fiblist’:
        fiblist = 0 : 1 : (zipWith (+) fiblist (tail fiblist))
Failed, modules loaded: none.