Naval has been a prolific angel investor over the past few years. It would be interesting if some of this capital is used for direct investments out of AngelList. Years ago Sequoia did something like that by investing in YCombinator, and multiple venture funds created a similar structure when they invested in Betaworks.