> I think it's mutual responsibility on both API provider and user to engage in communication before mixing parts

And I think it is the responsibility of the type system to at least catch if I'm passing too many arguments to a function.