[Feature] A list of generator arguments with described structure

[Kakadu]

I want to write [@@deriving foo ~name1:... ~name2:... ~name3:.... ....... ~name100500:....] where all name%d should be arbitrary. In the generation function I want to get a (Longident.t loc * expression) list with all the expressions that describe the arguments of foo.

[ghost]

I suppose we could allow to get the list of arguments uninterpreted and let the generator do the parsing itself

[Kakadu]

I also want that arguments in the list be able to have arguments. Something like
[@@deriving foo ~plugins:{ show; functor; something_else=expression_arguemnt}]. Hmmm, maybe it's doable in the current state of ppxlib, I need to check if this is what I want.

[ghost]

It should already be doable indeed