<div dir="ltr">Enabling PolyKinds is actually one motivation for doing the move in the first place. It changes nothing about the modules involved when used in code that doesn't turn on the extension.<div><br></div><div>-Edward</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Jul 24, 2015 at 3:08 AM, Marcin Mrotek <span dir="ltr"><<a href="mailto:marcin.jan.mrotek@gmail.com" target="_blank">marcin.jan.mrotek@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Does it count as bikeshedding if I'd suggest to make them polykinded?<br>
I think Vinyl would benefit from this:<br>
<a href="https://hackage.haskell.org/package/vinyl-0.5.1/docs/Data-Vinyl-Functor.html" rel="noreferrer" target="_blank">https://hackage.haskell.org/package/vinyl-0.5.1/docs/Data-Vinyl-Functor.html</a><br>
<br>
Best regards,<br>
Marcin Mrotek<br>
<div class="HOEnZb"><div class="h5">_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</div></div></blockquote></div><br></div>