Correct documentation in GHC.Records