testsuite/tests/polykinds/T6081.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE KindSignatures, PolyKinds, DataKinds, RankNTypes #-}

module T6081 where

data KProxy (a :: *) = KP

class KindClass (kp :: KProxy k)
instance KindClass (KP :: KProxy [k])