The effect of a currency union on trade: Lessons from the Irish experience