Export typeRepKinds in Data.Typeable

Now that TypeRep has a [KindRep] field internally, Data.Typeable should export typeRepKinds (alongside typeRepTyCon and typeRepArgs, which are currently exported) to allow users to access it.

Trac metadata

Trac field	Value
Version	7.10.1-rc3
Type	FeatureRequest
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	libraries/base
Test case
Differential revisions
BlockedBy
Related
Blocking
CC	ekmett, hvr
Operating system
Architecture

changed weight to 5

added Tfeature request Trac import core libraries labels

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*'*'

I'd be okay with combining kind and type arguments in typeRepArgs, especially since template-haskell does this already. I don't have a particular use case to cite, just the desire for parity with the other fields of TypeRep.

added Typeable label

closed

Once the type-indexed Typeable work gets merged in (#11011 (closed)), this ticket will no longer be relevant, since neither typeRepArgs nor typeRepKinds will exist anymore.

Trac metadata

Trac field	Value
Resolution	Unresolved → ResolvedInvalid

added Pnormal label