Revisiting Leighton's Theorem with the Haar Measure