<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="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">tom-lists-haskell-cafe-2013@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/<wbr>pipermail/libraries/2014-<wbr>December/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/<wbr>ghc/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">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>
</blockquote></div></div>