What is the name of a festive song with a dance-like character about Mary's happiness?
The Seven Joys of Mary (carol): "The Seven Joys of Mary" (Roud # 278) is a traditional carol about Mary's happiness at moments in the life of Jesus, probably inspired by the trope of the Seven Joys of the Virgin in the devotional literature and art of Medieval Europe. Carol (music): A carol is in Modern English a festive song, generally religious but not necessarily connected with church worship, and often with a dance-like or popular character.
The Seven Joys of Mary