What is IRPF? It's the reason that, despite a holiday bonus, my end of December take-home was a less than normal at €1100. IRPF tax of €589