Re: [Haskell-cafe] Datakind and instance

----- Le 13 Juin 24, à 22:06, Georgi Lyubenov godzbanebane@gmail.com a écrit :

You can make it polykinded:

{-# LANGAUGE PolyKinds #-}

class HasIniConfig (a :: k) where   getConfig ...

And then you can use both types of kind ProjectionType, and also "regular types" of kind Type.

Thanks a lot it works.