Sam Phillips

If I understand the CS implementation correctly `procedure-result-arity` will only ever return `1` or `#f`. https://github.com/racket/racket/blob/master/racket/src/cs/rumble/procedure.ss#L376

Can you see this as a mechanism to compile code without contracts?