La fonction sum est du type :


sum :: (Num a) => [a] -> a

Or tu ne lui fournis pas un tableau de nombres, mais une sorte d'arbre (quand bien même il n'aurait qu'une profondeur de 1). En...