Применение seq для улучшения времени выполнения в Haskell

У меня есть следующее:

data Node = Node { position::Int
                 , zombies::Float
                 , connections::[Int]
                 }

moveZombie :: [Node] -> Node -> Node
moveZombie nodes (Node i _ cx) = zc `seq` Node i zc cx
  where zc = sum [zombies n / (fromIntegral $ length $ connections n) | i <- cx, let n = nodes !! i]

step :: Int -> [Node] -> [Node]
step 0 nodes = nodes
step k nodes = step (k-1) $ map (moveZombie nodes) nodes

Компиляция с включенным профилированием в GHC говорит мне, что центрами затрат являются:

                               Individual
COST CENTRE            MODULE %time %alloc
moveZombie.zc          Main   60.3   90.4
moveZombie.zc.n        Main   37.6    0.0

Я пробовал следующее: moveZombie nodes (Node i _ cx) = zc `seq` Node i zc cx чтобы принудительно выполнить строгую оценку и заставить программу работать быстрее, но безуспешно. Я знаю, что что-то не так с моим пониманием того, как работает seq, но я не могу понять, что именно.

Я думаю, что мне нужно принудительно применить строгую оценку к step k nodes = step (k-1) $ map (moveZombie nodes) nodes, но я запутался.

Я знаю это:

1. seq a b переводит a в слабую первую нормальную форму при оценке b
2. Что выражение находится в слабой нормальной форме, если самое внешнее выражение является лямбдой или конструктором данных.

Любые указатели на то, какое понимание мне не хватает?