 ⇒ [DiffTree t ξ] → Html
renderForest [] = return ()
renderForest ts = ul $ mapM_ renderTree 
renderForest ∷ RenderableTree t ξ ⇒ [DiffTree t ξ] → Html
renderForest [] = return ()
renderForest [] = return ()