Typeclassopedia exercises for Functor - still working on Functor instance of ITree.