The paper
Haar Measure and the Semigroup of Measures on a Compact Group, J. G. Wendel, Proceedings of the American Mathematical Society Vol. 5, No. 6 (Dec., 1954), pp. 923-929
proves the existence of Haar measure in compact groups using the existence of idempotents and minimal ideals in compact semigroups.