[plt-scheme] Re: function contracts

Robby Findler wrote:
> I've just added a new contract combinator called ->r (r for "related"
> as in "the arguments are related to each other").

Thanks, this has made my contract code much more legible.

It seems natural to have such a combinator that enforced a relation on 
multiple return values as well, or is there an easy way to do this with 
the current system?

Thanks,
David