<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Tue, May 12, 2015 at 9:20 AM, Sean Leather wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">Also, Meertens himself uses the value-at-the-tips definition in a later publication [3].</blockquote></div><br>Correction. I meant to say he uses a value-at-the-nodes definition:</div><div class="gmail_extra"><br></div><div class="gmail_extra">> data Rose a = fork a (List(Rose a))<br></div><div class="gmail_extra"><br></div><div class="gmail_extra">Regards,</div><div class="gmail_extra">Sean</div></div>