They only have to be unique per module. As of GHC 8.0, there is a flag that enables duplicate record names.