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

[Tom Ellis]

Morally I think that

    class Typeable (a :: k)

should have been

    class Typeable k => Typeable (a :: k)

If I'm wrong, could someone please elaborate why?  If I'm right,
please read on ...

That would be a breaking change, but could we at least get

    kindable :: forall (a :: k). Typeable a => Dict (Typable (a :: k))

in the meantime?

Tom