That “DJ got him so good” clip (where they play Dancing Queen right as the drop happens in Turn Down For What) makes me laugh really hard because I know if that happened in a group of theater people they’d be ready to go full choreo no questions asked.
“Dancing Queen” is a Europop and disco song by the Swedish group ABBA, released as the lead single from their fourth studio album, Arrival (1976). It was written by Benny Andersson, Björn Ulvaeus and Stig Anderson.

Andersson and Ulvaeus also produced the song. “Dancing Queen” was released as a single in Sweden on 15 August 1976, followed by a UK release and the rest
of Europe a few days later. It was a worldwide hit. It became ABBA’s only number one hit in the United States, and topped the charts in Australia, Canada, the Netherlands, Belgium, Ireland, Mexico, New Zealand, Norway, South Africa, Spain, Sweden, the United Kingdom, West Germany and Rhodesia.”Dancing Queen” also reached the top five in many other countries.

Musically, “Dancing Queen” is a Europop version of American disco music. As disco music dominated the US charts, the group decided to follow the trend, replicating Phil Spector’s Wall of Sound arrangements. Andersson and Ulvaeus have cited George McCrae’s “Rock Your Baby” as a source of inspiration for the style of the song. The song alternates between “languid yet seductive verses” and a “dramatic chorus that ascends to heart-tugging high notes”.

It features keyboard lines by Andersson, which accentuate the melody’s sophistication and classical complexity, while Ulvaeus and Andersson interlace many instrumental hooks in and out of the mix. Agnetha Fältskog and Anni-Frid Lyngstad’s layered vocals have been noted for their dynamism,
“[negotiating] the melody’s many turns flawlessly.”Lyrically, the song concerns a visit to the discothèque, but approaches the subject from the joy of dancing itself. Today, the song has become ABBA’s most recognisable and popular song.