The OP requested trad songs about dancing, specifically Irish. I would have thought that instantly precluded compositions of known authorship, [like Dancing at Whitsun (Austin John Marshall, set in England) or Slip Jigs & Reels (Steve Tilston, set in the US)].