Implement Functor ITree