<div dir="ltr"><div><div>Hi all,<br><br>A little while back I gave a talk at YOW Lambda Jam and wrote some posts on combing free monads and cofree comonads (inspired by some posts by Ed Kmett and Dan Piponi).  I shared them on reddit, but recently realised that there might be some folks on this list who might be interested in the material.<br><br></div><div>For those interested people, it's all here:<br></div><div>  <a href="http://dlaing.org/cofun/">http://dlaing.org/cofun/</a><br><br></div><div>The "coming soon" posts will turn up eventually, although not until I'm done preparing my proposal for this year's Lambda Jam :)<br></div><div><br></div>Cheers,<br><br></div>Dave<br></div>