Thanks, but I still don’t quite grasp what the problem space is that two modules expose the same record field? data could not be misused, because I would need a type annotation anyway. And I would assume data on itself cannot be used anywhere else but inside the context of creating a new record instance.
If this were two let bindings with the same name, from different modules, I could understand the compiler warning. But I can’t grasp where the shadowing is happening here.