#10343: Make Typeable track kind information better -------------------------------------+------------------------------------- Reporter: oerjan | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: typeOf :: Related Tickets: #9858 | Typeable (a::k) => Proxy a -> | TypeRep | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by simonpj): I was using "what Oerjan wants" as shorthand for the Description of this ticket. For exmaple, he wants the expression {{{ typeRep :: Typeable a => Proxy a -> TypeRep }}} to typecheck. And it think it will when Richard is done. Similarly perhaps other items on his wish list above. Perhaps it would help to edit the description to enumerate "Wish 1", "Wish 2" etc? In "Wish n" he is asking for `kindRep`, for reasons I do not understand. Maybe you can give a use-case? And better still, what would it look like in the context of type-indexed type representations described in wiki:Typeable? Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10343#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler