instance Traversable Tree where

x :: Int
x = 1