{-
 Context Free Example.
 Approximation Test
-}

-- f(<a>(x)) = "<a>" . f(x) .  "</a>";
-- f(<c>)    = "<c>";

g( (x :: (<a>*)) . <a> ) = <a> .  g(x) . <a>;
g( $       ) = $;
