Add ITree and Functor.