[racket] [typed racket] typing monads

From: Eric Tanter (etanter at dcc.uchile.cl)
Date: Thu Oct 20 18:38:32 EDT 2011

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.


-- Éric

Posted on the users mailing list.