So if the tax bracket of lenders is greater than the tax bracket of borrowers, the system is a net tax on borrowing, but if tl < tb, it is a net subsidy.
If the borrowers face a higher price than the lenders, then the system is a net tax on borrowing, but if the borrowers face a lower price than the lenders, then it is a net subsidy.