It is indeed similar to the 'any' contract. The plans are basically what you see in this push -- representing cases where either some function can produce arbitrarily many values, as with some parameters, or where it doesn't matter how many values an expression produces, as in intermediate expressions in a 'begin'. Sam <div class="gmail_quote">On Jan 23, 2013 6:29 PM, "Neil Toronto" <<a href="mailto:neil.toronto@gmail.com">neil.toronto@gmail.com</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> On 01/23/2013 04:19 PM, <a href="mailto:samth@racket-lang.org" target="_blank">samth@racket-lang.org</a> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> aac25b4 Eric Dobson <<a href="mailto:eric.n.dobson@gmail.com" target="_blank">eric.n.dobson@gmail.com</a>> 2013-01-17 23:52 : | Make AnyValues but don't actually start using it yet. : </blockquote> Is this like the `any' contract? Do you have something specific in mind for it? Neil ⊥ _________________________ Racket Developers list: <a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a> </blockquote></div>