On Oct 20, 2011, at 5:09 PM, Sam Tobin-Hochstadt wrote: > > Unfortunately, Typed Racket doesn't support higher-kinded type > parameters, which is what you would need here.
That's what we thought/feared. > If you have an example of how you want to use this where the solution > I gave earlier doesn't work, I can probably give a better answer of > how to handle it. I do -- I'll send you an example offline. Thanks! -- Éric _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
