You can already have different records with the same field with the "DuplicateRecordsFields" extension: https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/

You can already have different records with the same field with the "DuplicateRecordsFields" extension: https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/duplicate_record_fields.html https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/dupl... What is meant here is that instead of writing `fieldName record` you can write `record.fieldName` mirroring imperative language.