Como entender a função foldTree?

Tenho estudado profundamente foldTreea função em Haskell, que é definida da seguinte forma:

foldTree :: (a -> [b] -> b) -> Tree a -> b
foldTree f = go where
    go (Node x ts) = f x (map go ts)

Recentemente me deparei com a seguinte interpretação da frase:

quando chamamos f x vs, assumimos que xe vsjá estão vinculados a valores conhecidos.

go (Node x ts) = f x (map go ts)

• O valor de xjá está vinculado da maneira esperada e familiar.
• Entretanto, nenhum valor está vinculado vsainda; a vinculação de vsé adiada até que a recursão em toda a subfloresta seja concluída.

A menção de um elemento de tempo (usando termos como "já" e "ainda") me confunde. Para entender melhor isso, comecei a experimentar alguns conceitos emprestados de provas de dedução natural e indução. Especificamente, tentei conceituar o segundo argumento de fcomo segue:

1. Presumo que um tipo [b]esteja definido.
2. Então, considero a definição real de fem termos de combinação deste [b]tipo assumido com o atipo para definir a expressão geral foldTree f tree, onde treetem tipo Tree a.

Como eu poderia refinar essa linha de pensamento em termos de suposições e não usar avaliação de função real, assumindo que está correta? Alternativamente, há outra perspectiva formal ou intuitiva que eu poderia adotar para entender melhor essa função e sua mecânica?