All of that money is "taxpayer" money...as previously stated by Obit in multiple posts...it is impossible to determine where each dollar originates in the govt. So to say that any of that money came from the GSE's directly...impossible to determine. One can only assume that all dollars within the gov are shared across the gov for whatever expenditures they deem needs to happen.
You can't say that "only" GSE NWS money is being earmarked and goes for this or that...
what is most important, is that we do know how much money the GSE NWS has accumulated over the life of the conservatorship, and once a decision by the courts has been reached, it will be up to the gov to take "taxpayer" money to repay...if that is the decision by the courts.
News 
Market Data 
Discover 
