Hola!
Me surgió una duda sobre la composición de funciones al tratar de realizar esta parte.
Desde la consola traté de ejecutar la instrucción: inorder.mkTree [algunos números], pero me daba error, ya que parece que mkTree está tomando como argumento a la lista antes de que se realice la composición. Sin embargo, me queda la duda de por qué esto no funciona.
Los tipos son:
inorder :: Tree a -> [a]
mkTree :: [a] -> Tree a
donde claramente los tipos coinciden para la composición. Luego, si primero aplicamos mkTree a la lista, esto nos da una "función" de solamente un tipo: Tree a. Entonces, por qué es que desde aquí no se puede aplicar la composición con inorder si los tipos aún coinciden?
Espero no haber confudido, gracias!