Dumb monad for describing trees.