#9043: Add missing type class instances for data types in GHC.Generics -------------------------------------+------------------------------------- Reporter: ocharles | Owner: dreixel Type: feature | Status: infoneeded request | Milestone: 7.10.1 Priority: normal | Version: 7.8.2 Component: Core | Keywords: Libraries | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by ekmett): So then we'd just be piggybacking on typeability of Symbols (and instances for MetaCons/MetaData) to get the `Typeable` instance for things like `M1 i c p`? I have vague recollections of Richard mentioning that having every Symbol/Nat be Typeable. I don't recall what came of it though. Do we have that now in HEAD? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9043#comment:24 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler