[Haskell-cafe] Datakind and instance

[PICCA Frederic-Emmanuel]

----- Le 13 Juin 24, à 22:06, Georgi Lyubenov godzbanebane at 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.