Hi Jan,<br><br><div class="gmail_quote">2010/9/15 Jan Christiansen <span dir="ltr">&lt;<a href="mailto:jac@informatik.uni-kiel.de">jac@informatik.uni-kiel.de</a>&gt;</span><br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

<div class="im"><br>
On 15.09.2010, at 13:41, José Pedro Magalhães wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
However, in your application of shape to Tree, I see that you want to replace not only the parameters but also the recursive occurrences.<br>
</blockquote>
<br></div>
I don&#39;t see what you mean here.</blockquote><div><br>I&#39;m sorry, you are only replacing parameters indeed. Never mind. I hope you can make it with generic-deriving. Feel free to ask anything if you run into troubles---the current release is rather experimental.<br>

<br><br>Cheers,<br>Pedro<br></div></div><br>