use the dependency model to type-check the dependencies (rather than the parent model) !