[roetlich]

> How do you even know the inferred type of your function is what you really think it should be?

By adding a type annotation? Am I missing something?