Obviously in favor of this proposal.
(Disclaimer: I am a contributor to the Angle Protocol)
agEUR has recently grown a lot on Arbitrum thanks to recent integrations on new DEXes, and the protocol is natively minted there which means that agEUR on Arbitrum is not a form of “bridge” token.
The Angle Protocol also has the possibility to mint agEUR as part of its direct deposit modules on Aave. Should this integration succeed, we could write a proposal on the Angle Protocol governance to seed the agEUR market on Aave with an amount equal to a fraction of the agEUR in circulation on Arbitrum.
This would open the room for borrowers to borrow agEUR and hence short it, or get leverage on like ETHEUR rather than ETHUSD among others.