anyProxy still generated by compiler but no longer exported by generics

[gbaz]

The compiler still generates a reference to anyProxy here:

https://github.com/purescript/purescript/blob/master/src/Language/PureScript/Sugar/TypeClasses/Deriving.hs#L229

But neither generics nor the proxy package exports such an identifier, so this path leads to an error...?

[paf31]

Oh dear. This seems like a quick fix in the library, but we could also fix it in the compiler. What do you think?

[gbaz]

I don't know offhand how hard the compiler fix would be, but I think that's the right approach long term? In the meantime I suppose people who run into this can just add the binding locally if its well documented?

But I really don't have a good sense of the best approach here...