[Haskell-cafe] Can I get 'forall (a :: k). Typeable a => Dict (Typeable k)'?

[Tom Ellis]

On Wed, Aug 23, 2023 at 12:10:24PM +0100, Adam Gundry wrote:
> I think you are looking for Type.Reflection.typeRepKind
> 
>     typeRepKind :: TypeRep (a :: k) -> TypeRep k
[...]
> as your subject line asked for, albeit not the message body. :-)

Yes, exactly, thank you!

Tom