testsuite/tests/polykinds/T6081.hs


1
2
3
4
5
6
7
8
9
10
11
12

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

module T6081 where

import Data.Kind (Type)

data KProxy (a :: Type) = KP

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