Re: [GHC] #10514: Generic for existential types