<div dir="ltr">The advantages I outlined were:<div><pre style="white-space:pre-wrap;color:rgb(0,0,0)">The advantage this offers is that Free and Cofree would be able to
enjoy a greater number of typeclass instances provided libraries
across the ecosystem. As it stands, adding the somewhat heavy `free`
dependency is not a good choice for libraries like `aeson`,
`mustache`, and `hashable`. In the case of Fix, the ecosystem
currently lacks a canonical library that provides it
(recursion-schemes and data-fix both offer the same definition though,
and various tutorials all define it the same way). It could benefit
from the new instances as well.
</pre></div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Oct 17, 2016 at 2:31 PM, John Wiegley <span dir="ltr"><<a href="mailto:johnw@newartisans.com" target="_blank">johnw@newartisans.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">>>>>> "AM" == Andrew Martin <<a href="mailto:andrew.thaddeus@gmail.com">andrew.thaddeus@gmail.com</a>> writes:<br>
<br>
AM> I would gladly help with any of the work that needs to be done to make<br>
AM> this happen. I believe that Fix and Free (and Cofree to a lesser extent)<br>
AM> have proved themselves over years of use in the ecosystem. I would<br>
AM> appreciate any feedback or thoughts that others have on this topic.<br>
<br>
What advantage is there to having them in base, rather than living in the<br>
'free' package as they do now?<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
John Wiegley                  GPG fingerprint = 4710 CF98 AF9B 327B B80F<br>
<a href="http://newartisans.com" rel="noreferrer" target="_blank">http://newartisans.com</a>                          60E1 46C4 BD1A 7AC1 4BA2<br>
</font></span></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">-Andrew Thaddeus Martin</div>
</div>