<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">I like it.</div><div class=""><br class=""></div><div class="">My use case for overloaded application is from singletons, where I want users to be able to apply something of type Sing (x :: k1 -> k2). Right now, they must call `applySing` to do the application.</div><div class=""><br class=""></div><div class="">Thanks for writing it up!</div><div class=""><br class=""></div><div class="">Richard</div><br class=""><div><blockquote type="cite" class=""><div class="">On Jan 24, 2017, at 3:07 AM, Chris Smith <<a href="mailto:cdsmith@gmail.com" class="">cdsmith@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class="">Anyone want to offer some early feedback on a GHC proposal I'm working on? It's called OverloadedApplication. Current version at <a href="https://github.com/cdsmith/ghc-proposals/blob/overloadedapplication/proposals/0000-overloaded-application.rst" class="">https://github.com/cdsmith/ghc-proposals/blob/overloadedapplication/proposals/0000-overloaded-application.rst</a><div class=""><br class=""></div><div class="">I am proposing something a bit more ambitious than what I need, because the proposal as written seems more likely to be broadly useful. The bit that I actually need is about desugaring of infix operators in the presence of RebindableSyntax. I'd love to get early thoughts from anyone who has a solid use case for the rest of the proposal. It feels like a thing that *ought* to be useful, but I'm drawing blanks at the moment.</div></div>
_______________________________________________<br class="">Haskell-Cafe mailing list<br class="">To (un)subscribe, modify options or view archives go to:<br class=""><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" class="">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br class="">Only members subscribed via the mailman list are allowed to post.</div></blockquote></div><br class=""></body></html>