[racket] Typed Racket - More Poly Type Checking

In the following gist the 'seq' procedure is a combinator of 2 Iteratee's
to a single Iteratee.
The 'drop1keep1Int' procedure explicitly instantiates the type vars as
Integer and works fine. (Drops the first element, returns head element,
given a (Listof Integer))
However inferencing for the poly version 'drop1keep1Poly' fails when I
think it should be ok.

https://gist.github.com/3156946

If you agree, I'll open a bug report.  Thanks for looking at it.

Ray
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20120721/113a5f6b/attachment.html>