<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">An excellent summary, Andrew.<div class=""><br class=""></div><div class="">I feel that people voting +1 here all have some specific use case in mind. But unlike in other proposals, here, for the love of god, I cannot imagine what it is.</div><div class=""><div><blockquote type="cite" class=""><div dir="ltr" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><div class=""><div class=""><div class=""><ul class=""><li class=""><span style="font-size: 13px; white-space: nowrap;" class="">Will Fancher +1</span><br class=""></li><li class=""><span style="font-size: 13px;" class="">Al Skipp +1</span></li><li class=""><span style="font-size: 13px;" class=""><span style="white-space: nowrap;" class="">Austin Zheng +1</span></span></li><li class="">T.J. Usiyan +1</li><li class=""><span style="font-size: 13px; white-space: nowrap;" class="">Joe Groff +1</span></li><li class=""><span style="font-size: 13px; white-space: nowrap;" class="">Jens Persson +1</span></li><li class="">Brent Royal-Gordon +1</li><li class="">Krzysztof Siejkowski + 1</li></ul></div></div></div></div></blockquote><div>Can each of you guys just write a bit of code that you want to be made possible, something that is substantially better than alternatives?</div><div><br class=""></div><div>Really, it may seem obvious to you, but it's a complete mystery to me and others like me.</div><div><br class=""></div><blockquote type="cite" class=""><div dir="ltr" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><div class="">A good place to look is popular Swift libraries (top 5 on github), and see if they (and by extension their users) would benefit from HKTs:</div><div class=""><ul class=""><li class=""><a href="https://github.com/Alamofire/Alamofire" class="">https://github.com/Alamofire/Alamofire</a><span class="Apple-converted-space"> </span>(possibly, DSL)<br class=""></li><li class=""><a href="https://github.com/SwiftyJSON/SwiftyJSON" class="">https://github.com/SwiftyJSON/SwiftyJSON</a> (very likely, DSL / type constraints)<br class=""></li><li class=""><a href="https://github.com/SnapKit/SnapKit" class="">https://github.com/SnapKit/SnapKit</a> (very likely, chained DSL)<br class=""></li><li class=""><a href="https://github.com/MengTo/Spring" class="">https://github.com/MengTo/Spring</a><span class="Apple-converted-space"> </span>(probably not in their DSL, maybe in their implementation)<br class=""></li><li class=""><a href="https://github.com/ochococo/Design-Patterns-In-Swift" class="">https://github.com/ochococo/Design-Patterns-In-Swift</a> (probably, but I'm biased)</li></ul><div class="">Likewise there's two more cases:</div></div><div class=""><ul class=""><li class=""><a href="https://github.com/Quick/Quick" class="">https://github.com/Quick/Quick</a><br class=""></li><li class=""><a href="https://github.com/Quick/Nimble" class="">https://github.com/Quick/Nimble</a><br class=""></li></ul></div></div></blockquote><div>Would *love* this, DSLs especially.</div><div><br class=""></div><div>Common, don't just vote +1 — give examples!</div><div><br class=""></div><div>A.</div><div><br class=""></div></div></div></body></html>