Sorry Joe, I misinterpreted your position - I may have interpreted supportive of the discourse with supportive of the proposal. Also sorry I left you off the Apple people list!<span></span><br><br>On Friday, 18 December 2015, Joe Groff &lt;<a href="mailto:jgroff@apple.com">jgroff@apple.com</a>&gt; wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><br><div><blockquote type="cite"><div>On Dec 17, 2015, at 7:40 AM, Andrew Bennett via swift-evolution &lt;<a href="javascript:_e(%7B%7D,&#39;cvml&#39;,&#39;swift-evolution@swift.org&#39;);" target="_blank">swift-evolution@swift.org</a>&gt; wrote:</div><br><div><ul style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><li><span style="font-size:13px;white-space:nowrap">Joe Groff +1</span></li></ul><br></div></blockquote></div><br><div>I&#39;m +0 as well, to be clear. I only wanted to steer the discussion away from functional abstractions and toward more concrete applications of HKT that come up in practice in industrial languages like C++.</div><div><br></div><div>-Joe</div></div></blockquote>