<div dir="auto"><div><div class="gmail_extra"><div class="gmail_quote">On Dec 12, 2016 1:15 PM, "Edward Kmett" <<a href="mailto:ekmett@gmail.com">ekmett@gmail.com</a>> wrote:<br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">A few thoughts in no particular order:<br><br>Unlike this proposal, the existing 'reify' itself as core can actually be made well typed.<br></div></blockquote></div></div></div><div dir="auto"><br></div><div dir="auto">Can you explain this?</div><div dir="auto"><br></div><div dir="auto"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><br>Tagged in the example could be replaced with explicit type application if backwards compatibility isn't a concern. OTOH, it is.<br></div></blockquote></div></div></div><div dir="auto"><br></div><div dir="auto">Would that help Core typing?</div><div dir="auto"><br></div><div dir="auto"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div> On the other other hand, if you're going to be magic, you might as well go all the way to something like:</div><div><br><span style="font-size:12.8px">reify# :: (p => r) -> a -> r<br></span></div></div></blockquote></div></div></div><div dir="auto"><br></div><div dir="auto">How would we implement reify in terms of this variant?</div><div dir="auto"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><br>and admit both fundep and TF forms. I mean, if you're going to lie you might as well lie big.</div></div></blockquote></div></div></div><div dir="auto"><br></div><div dir="auto">Definitely.</div><div dir="auto"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><br><br></div><div>There are a very large number of instances out there scattered across dozens of packages that would be broken by switching from Proxy to Tagged or explicit type application internally. (I realize that this is a lesser concern that can be resolved by a major version bump and some community friction, but it does mean pragmatically that migrating to something like this would need a plan.)</div></div></blockquote></div></div></div><div dir="auto"><br></div><div dir="auto">I just want to make sure that we do what we need to get Really Good Code, if we're going to the trouble of adding compiler support.</div></div>