#10163: Export typeRepKinds in Data.Typeable -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: libraries/base | Version: 7.10.1-rc3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Other | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by simonpj): Maybe. In the future I'm not sure we'll distinguish between kind and type arguments. I think a better solution would be for `typeRepArgs` to return the kind ''and'' type arguments. In any case I mostly think you shouldn't be decomposing `TypeRep` at all. Are you? What's your use-case? Simon'''''' -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10163#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler