#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): Here, we would be given `Typeable <[k] -> *> a` and need to derive `Typeable <[k -> *] -> *> (C <[k] -> *> <[k -> *]> a)`. Yes, that ''would'' require decomposition, indicating that we should store more than just the kind fingerprint. Another very nice test case. Thanks! -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9858#comment:47 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler