for now let's suspend this issue.
I'd like later to see if we can not do any thing more.

But I noticed the usual issue between runtime data and compiler data.
The runtime's data know the exacte generic derivation, the compiler knows only if this is a "reference".