<div dir="ltr">The code in `tagged` has been generalized for a couple of years now, but Data.Proxy either forked off of it before we made that generalization or simply didn't get the more generalized type when it was moved into base.<div><br></div><div>I'm strongly +1 on this generalization for consistency with the tagged package and with the other combinators already in base.</div><div><br></div><div>-Edward</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Nov 6, 2016 at 2:31 PM, David Feuer <span dir="ltr"><<a href="mailto:david.feuer@gmail.com" target="_blank">david.feuer@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p dir="ltr">I think flexibility about the proxy type has become the norm, and we should probably follow that guideline. However, it could theoretically break code.</p>
<p dir="ltr">asProxyTypeOf x (pure "I'm a string")</p>
<p dir="ltr">is currently accepted but would be rejected with the proposed change (since the proxy type isn't fixed, GHC doesn't know that it's Applicative).</p><div class="HOEnZb"><div class="h5">
<div class="gmail_extra"><br><div class="gmail_quote">On Nov 6, 2016 12:37 PM, "Tom Ellis" <<a href="mailto:tom-lists-haskell-cafe-2013@jaguarpaw.co.uk" target="_blank">tom-lists-haskell-cafe-2013@<wbr>jaguarpaw.co.uk</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Did anything ever come of this proposal to relax the type of asProxyType of?<br>
<br>
    <a href="https://mail.haskell.org/pipermail/libraries/2014-December/024462.html" rel="noreferrer" target="_blank">https://mail.haskell.org/piper<wbr>mail/libraries/2014-December/<wbr>024462.html</a><br>
<br>
i.e. change<br>
<br>
    asProxyTypeOf :: a -> Proxy a -> a<br>
<br>
to<br>
<br>
    asProxyTypeOf :: a -> proxy a -> a<br>
<br>
I posted this issue on the Trac<br>
<br>
    <a href="https://ghc.haskell.org/trac/ghc/ticket/12805" rel="noreferrer" target="_blank">https://ghc.haskell.org/trac/g<wbr>hc/ticket/12805</a><br>
<br>
but it was suggested I ask on the libraries list.<br>
<br>
Tom<br>
______________________________<wbr>_________________<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-bi<wbr>n/mailman/listinfo/libraries</a><br>
</blockquote></div></div>
</div></div><br>______________________________<wbr>_________________<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-<wbr>bin/mailman/listinfo/libraries</a><br>
<br></blockquote></div><br></div>