<div dir="ltr">It appears that this is a simple matter of the PolyKinds extension not being enabled in libraries/base/GHC/Generics.hs and presumably the reason is the same for the Data instance.<div><br></div><div>It doesn't seem particularly controversial generalize those instances.</div></div><br><div class="gmail_quote"><div dir="ltr">On Fri, Jul 17, 2015 at 3:06 PM Carl Howells <<a href="mailto:chowells79@gmail.com">chowells79@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">At the moment, the following two instances are listed in the haddocks<br>
for Data.Proxy.Proxy:<br>
<br>
    Data t => Data (Proxy * t)<br>
    Generic (Proxy * t)<br>
<br>
Do those instances need to be that restrictive?  Would it be possible<br>
to generalize those instances to these?<br>
<br>
    Data (Proxy k t)<br>
    Generic (Proxy k t)<br>
<br>
I'm not 100% comfortable with either of those classes, so I'm not sure<br>
if those instances work right, but it seems like they should in a<br>
hand-wavy way.<br>
<br>
--<br>
Carl Howells<br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">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>
</blockquote></div>