Estoy tratando de entenderHaskell realización de la memorización, pero no entiendo cómo funciona:

memoized_fib :: Int -> Integer
memoized_fib = (map fib [0..] !!)
    where fib 0 = 0
              fib 1 = 1
              fib n = memoized_fib(n - 2) + memoized_fib(n - 1)

En primer lugar, ni siquiera entiendo por qué la función 'map' obtiene tres parámetros (function - fib, list [0 ..] y ||), pero no dos como debe hacerlo.

Actualizado

He intentado reescribir el código, pero obtuve un resultado diferente:

f' :: (Int -> Int) -> Int -> Int
f' mf 0 = 0
f' mf 1 = 1
f' mf n = mf(n - 2) + mf(n - 1)

f'_list :: [Int]
f'_list = map (f' faster_f') [0..]

faster_f' :: Int -> Int
faster_f' n = f'_list !! n

¿Por qué? ¿Hay algún error en mi razonamiento?