flatten' :: Renderer -> Expander -> TreePos Empty Isolate -> ShowS
flatten' render expand z = case nextTree z of
    Just c -> let
        t = Path.title $ Isolate.name $ label c
        ours = flatten t c render expand
        rest = flatten' render expand $ nextSpace c
        in showString ours . (showString "\n") . rest
    Nothing -> showString ""
flatten' :: Renderer -> Expander -> TreePos Empty Isolate -> ShowS
flatten' render expand z = case nextTree z of
    Just c -> let
        t = Path.title $ Isolate.name $ label c
        ours = flatten t c render expand
        rest = flatten' render expand $ nextSpace c
        in showString ours . (showString "\n") . rest
    Nothing -> showString ""
flatten' render expand z = case nextTree z of
    Just c -> let
        t = Path.title $ Isolate.name $ label c
        ours = flatten t c render expand
        rest = flatten' render expand $ nextSpace c
        in showString ours . (showString "\n") . rest
    Nothing -> showString ""