Start implementing the tree functor, applicative and monad...