<div dir="ltr">You are right, thanks!<div><br></div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">2017-07-07 22:17 GMT+03:00 Li-yao Xia <span dir="ltr"><<a href="mailto:lysxia@gmail.com" target="_blank">lysxia@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><br>
<br>
On 07/07/2017 02:50 AM, Dmitry Olshansky wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I am not sure why but when I didn't set RankNTypes I got an appropriate<br>
error. So I specified it.<br>
<br>
But if I write<br>
   let { f :: (forall n. KnownSymbol n => Proxy n) -> String; f p =<br>
symbolVal p }<br>
then nothing is changed.<br>
<br>
<br>
</blockquote>
<br>
<br></span>
What would the String (f Proxy) be? (Note that (Proxy :: forall n. KnownSymbol n => Proxy n) would be a valid argument here.)<div class="HOEnZb"><div class="h5"><br>
______________________________<wbr>_________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bi<wbr>n/mailman/listinfo/haskell-caf<wbr>e</a><br>
Only members subscribed via the mailman list are allowed to post.</div></div></blockquote></div><br></div>