<div class="gmail_quote"><font face="Calibri">hi all, not sure if there is someone still working
during holiday like me : )</font>
<div> </div>
<div><font face="Calibri">I got a little problem in implementing some operations
on tree.</font></div>
<div> </div>
<div><font face="Calibri">suppose we have a tree date type defined:</font></div>
<div> </div>
<div><font face="Calibri">data Tree a = Leaf a | Branch (Tree a) (Tree
a)</font></div>
<div> </div>
<div><font face="Calibri">I want to do a concatenation on these tree just like the
concat on list.</font></div>
<div><font face="Calibri">Anyone has idea on it? or there are some existing
implementation?</font></div>
<div> </div>
<div><font face="Calibri">Thank you and Happy New Year!</font></div>
<div> </div>
<div><font face="Calibri">regards,</font></div>
<div><font face="Calibri">Max</font></div>
</div><br>