<div>In the following gist the &#39;seq&#39; procedure is a combinator of 2 Iteratee&#39;s to a single Iteratee.</div><div>The &#39;drop1keep1Int&#39; procedure explicitly instantiates the type vars as Integer and works fine. (Drops the first element, returns head element, given a (Listof Integer))</div>
<div>However inferencing for the poly version &#39;drop1keep1Poly&#39; fails when I think it should be ok. </div><div><br></div><a href="https://gist.github.com/3156946">https://gist.github.com/3156946</a><div><br></div><div>
If you agree, I&#39;ll open a bug report.  Thanks for looking at it. </div><div><br></div><div>Ray</div>