[Haskell-cafe] More instances for Identity?

Hi, I just noticed that Data.Functor.Identity [1] lacks many useful instances like Eq, Ord, Show ... etc. Is there a reason for this? Otherwise, shouldn't we make a proposal for it? In my opinion, if the seven-tuple has an instance, then Identity deserves it as well. Niklas [1]: https://downloads.haskell.org/~ghc/7.8.3/docs/html/libraries/transformers-0....