Strong type-checking for dependency injection and method arguments.