I just wanted to point out that while a professional army might be wasted GDP, militia army just result in a lower GDP. In the end the loss to the economy would be about the same, actually I think a professional army should be more efficient as specialisation in general is. In conclusion, there is no free cake.