How Familiar is Paul Krugman with Irish Political Economy?

I’ll bet Paul Krugman knows far more about Ireland than I do. But is he aware of the fact that Ireland has one of the developed world’s most bloated, inefficient public sectors?