   • Record field pun requires the NamedFieldPuns extension.
