I was fundamentally misunderstanding how modules worked.
Terraform does not support interpolation in resource names (see the relevant issues), but that doesn’t matter in my case, because the resources of each instance of a module are in the instance’s namespace. I was worried about resource names colliding, but the module system already handles that.