Seeing Module<Args> is more likely to indicate some catastrophic failure, for instance a missing type with the same name as the module, than that we should remove the generic arguments. rdar://problem/26639477