#9858: Typeable instances should be kind-aware -------------------------------------+------------------------------------- Reporter: dreixel | Owner: dreixel Type: bug | Status: new Priority: highest | Milestone: 7.10.1 Component: Compiler | Version: 7.9 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by goldfire): Take a look at [wiki:Typeable#Medium-termsolution this wiki page]. It includes a solution that we think can be done in time for 7.10 if there is a delay. What's nice about this one is that it should break no existing code. Depending on design decisions, we would probably warn about `Typeable` instances (which would no longer be necessary), but nothing should outright break. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9858#comment:42 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler