Summary

Finish what was started in #4326

Motivation

Besides the compiler improvements, this would allow us to use the RecordDotSyntax extension.

Proposal

#4325 was originally blocked by three issues:

• weeder needed to be updated
• protolude needed to be updated
• the GHC API error message (see Update to GHC 9.2.2 #4326's opening thread)
• the change shouldn't cause us to update glibc (see Update to GHC 9.2.2 #4326 (comment))

weeder@2.4.0 and protolude@0.3.1 have both been uploaded to Hackage. So, we're just blocked on the last two issues.