> you cannot have two records share a field name in a single module

(emphasis added.) I'm still a Haskell beginner, so I'm not the best person to comment on how this works out in practice.