Use DI for _TypeCheckerForModule