The book of Lieb and Loss proves the existence of Lebesgue measure in an unorthodox way as theorem 6.22, using the fact that ''positive distributions are measures''.
My question is, whether it is possible to prove the existence of Haar measure using this method, and if so, it is done in any standard reference? If not in the general situation, at least for some nice topological groups?