[racket] Typed Racket and macros expanding to for*:

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Tue Jul 24 18:39:43 EDT 2012

On Jul 24, 2012, at 6:37 PM, Carl Eastlund wrote:

> He knows it doesn't eat *his* dog.  He can only know that for a finite
> number of sample dogs, however.  Any given user's dog might turn out
> to be more appetizing than those tested.

This sounds like a rathe existential argument 

Posted on the users mailing list.