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.