Sadly I was hoping to use the EMGM 'map' function on a more complex
type. From what I can tell that uses the FRep instances, correct?

That's correct. I should have a workaround at least without using TH for you in a few days. Perhaps even with deriving. We'll see.

Sean