Data, Typeable, Generic instances for InternedText?

[spinda]

Would it be possible to add (derive) Data, Typeable, and Generic instances for InternedText? That way structures which use them can themselves have derived Data / Generic instances.

[layus]

These would be really helpful, but a bit tricky. See https://github.com/haskell-nix/hnix/pull/811/files#diff-3d76949b3ec463adc3cb7c86318020458995f4f80602365dc8e413c34f278caeR192-R216

• Data instance can use the same hack as Text, which has severe limitations inside template haskell.
• Typeable instance is not more needed in recent GHC
• No idea about generic.

Would also be nice to provide Show, Read, Binary and anything that makes it a better drop-in replacement for text.

The limit being that we do not want a monoid instance. That would unintern and re-intern strings implicitly. Not a good idea IMHO.