about inferring the types of values bound with <function>let</>,
<function>let*</>, inline function call, and so forth. However,
it's much more passive and dumb about inferring the types of
about inferring the types of values bound with <function>let</>,
<function>let*</>, inline function call, and so forth. However,
it's much more passive and dumb about inferring the types of