Hi y’all,

So R7RS has some argument naming conventions that imply types of
arguments:
https://standards.scheme.org/r7rs-html5/index.html#1.3.3:~:text=imply%20type%20restrictions

Do y’all think it will be worth to add a special type of APIs, like
lambda-checked-inferred and define-checked-inferred that also infer
types for procedure arguments?

I’m indecisive, as this might be _too smart_ of a behavior and may break
in horrible ways. But I want to know y’all’s input!

Best of luck,
--
Artyom Bologov
https://aartaka.me