Add test cases for #7503, #14451
[ghc.git] / testsuite / tests / typecheck / should_compile / T7503a.hs
1 {-# LANGUAGE ExistentialQuantification, DataKinds, PolyKinds, KindSignatures, GADTs #-}
2 module T7503a where
3 import Data.Kind
4 import GHC.Exts hiding (Any)
5
6 data WrappedType = forall a. WrapType a
7
8 data A :: WrappedType -> Type where
9 MkA :: forall (a :: Type). AW a -> A (WrapType a)
10
11 type AW (a :: k) = A (WrapType a)
12 type AW' (a :: k) = A (WrapType a)
13
14 class C (a :: k) where
15 aw :: AW a -- workaround: AW'
16
17 instance C [] where
18 aw = aw