When the type check fails for a function, its dependents also fail type check, but they reuse the same error message. Expected behavior - If a function calls another function which fails type check, the caller's type check error should tell the user which dependency failed type check.