Aer Lingus is a budget airline? And here I was still thinking that they're the flag carrier of Ireland...

(of course, they can be both at the same time)