Mil disculpas la falta de información.
De la forma que pensabamos implementar la función cant para Tree, nos parecía útil asumir que el tipo variable 't' era tambien instancia de Cant.
Sin embargo, por como esta definido, no es necesariamente un árbol (puede ser (), o eventualmente, cualqueir cosa) y por ende no es es necesariamente instancia de Cant.
Nos entra duda de si esta de más exigir que t sea instancia de Cant (mediante el operador =>), y definir la misma para los casos concretos (por ejemplo, para () o Node, pero tambien para String si así lo quisieramos ).
Esta bien eso, o se puede hacer sin exigir este tipo de restricciones?
Saludos, y muchas gracias!