That's basically how it works in Canada. You can even request that the tax relief is applied to each pay check rather than waiting for the tax refund.

Also don't forget the $43,500 post-tax 401k contribution that you can backdoor into to a Roth.

if your employer supports post-tax contributions