First naïve implementation of Tree as Functor. Some type-refactoring is still needed. Next is Monad impl of Tree.