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

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