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

[Ryan Scott]

To respond to your original point:

> Morally I think that
>
>     class Typeable (a :: k)
>
> should have been
>
>     class Typeable k => Typeable (a :: k)
>
> This has been considered before, although it is not entirely
straightforward to implement. See [1] and [2], which track the idea of
having GHC solve these constraints automatically, without the need for
users to explicitly reach for `typeRepKind`.

Best,

Ryan
-----
[1] https://gitlab.haskell.org/ghc/ghc/-/issues/14190
[2] https://gitlab.haskell.org/ghc/ghc/-/issues/16627
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20230823/099172bc/attachment.html>