Where will the money to fund Ireland's ambitious defence investment plans come from?

Gears move slowly when the figures are in the billions, but where will the money for Ireland’s mooted defence spending be found?