Data instance?

[locallycompact]

Hi. I tried to look at this but I don't know how to implement this. How easy is it for someone who knows what they're doing to add a Data instance for Rec and CoRec?

[acowley]

I can't recall ever directly using Data, myself so I don't know for certain how easy it will be. Naively, I imagine it would be similar to Generic. If you have a small test case showing how a Data instance would be used, that could help direct an implementation effort.