Well Gleam doesn't have supertypes, so the function signature (even when inferred) does describe everything your function could possibly produce. If the author changes that, your code will stop compiling, not blow up at runtime.

I agree that packages authors really should annotate their types though, and possibly that they ought to be forced to do so, just to make reading the code easier.