Now that I have the map of inferred types anyway, I don't need to pass the expected return type around (just whether the call is in tail position or not).
Now that I have the map of inferred types anyway, I don't need to pass
the expected return type around (just whether the call is in tail
position or not).

axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language