Haskell polimórfica árbol Suma

Question

me escribió el siguiente código para el manejo de un árbol binario polimórficos en Haskell como una preparacion para el examen de la programación funcional de la próxima semana:

data ITree t = Leaf | Node t (ITree t) (ITree t) 
      deriving (Eq, Ord, Show) 

treeSum :: ITree t -> Int 
treeSum Leaf = 0 
treeSum (Node n t1 t2) = n + (treeSum t1) + (treeSum t2) 

Ahora tengo el problema, que el código no hace compila:

...\tree.hs:8:26: 
Couldn't match type `t' with `Int' 
    `t' is a rigid type variable bound by 
     the type signature for treeSum :: ITree t -> Int 
     at ...\tree.hs:7:1 
In the first argument of `(+)', namely `n' 
In the first argument of `(+)', namely `n + (treeSum t1)' 
In the expression: n + (treeSum t1) + (treeSum t2) 
Failed, modules loaded: none. 
Prelude> 

¿Sabes qué le pasa a treeSum? Creo que tiene algo que ver con el tipo polimórfico de ITree, pero no sé cómo resolverlo. ¿Debo especificar que el tipo t debe ser un tipo que se puede contar/enumerar? ¿Probablemente con una instancia de clase de tal tipo?

Gracias de antemano por su ayuda!

Simon

Answer 1

El compilador no puede verificar que el resultado será una Int. Tal como está, puede llamar al treeSum con un argumento ITree Integer (y las operaciones no generarán un Int).

Intente cambiar la firma a treeSum :: Integral t => ITree t -> t.