[racket] [typed racket] typing monads

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