#9043: Add missing type class instances for data types in GHC.Generics -------------------------------------+------------------------------------- Reporter: ocharles | Owner: dreixel Type: feature request | Status: new Priority: normal | Milestone: 8.0.1 Component: Core Libraries | Version: 7.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: 9766 | Blocking: Related Tickets: #8778 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by RyanGlScott): #9766, which had been blocking this for a while, has been fixed, so there's nothing holding this back at the moment. ocharles, would you be willing to rebase your work on top of `master`? You'll need to make some changes to work with the latest GHC: * `Typeable` instances are now derived automatically for everything, so you can remove those. * `Arity` has been removed from `GHC.Generics` * `GHC.Generics` has added some new datatypes: * `FixityI` was added as a type-level counterpart to `Fixity` (this probably doesn't need any instances) * A new data family (`URec`) was added to support `Generic(1)` instances for unboxed types. The data instances could probably use `Functor`, `Foldable`, and `Traversable` instances (I ''think'' those would be well- kinded, but I'd have to check.) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9043#comment:34 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler