#9858: Typeable instances should be kind-aware -------------------------------------+------------------------------------- Reporter: dreixel | Owner: Type: bug | Status: merge Priority: highest | Milestone: 7.10.2 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: | typecheck/should_fail/T9858a,b,c; | should_run/T9858b | Blocking: | Differential Revisions: Phab:D652 -------------------------------------+------------------------------------- Comment (by simonpj): I think these examples will start to work when we get polykinded typeable, which is a consequence of what Richard is doing on his branch. What ''would'' be useful is if you produce a fresh set of test cases that you think should work, but don't. You can probably extract them from the 100 comments above, but I'd like to know what your short-list is! In fact make them into a new ticket, then we won't lose track. This one is too long and digressive now. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9858#comment:110 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler