Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / deriving / should_fail / T14728a.hs
1 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
2 {-# LANGUAGE StandaloneDeriving #-}
3 {-# LANGUAGE TypeFamilies #-}
4 {-# LANGUAGE DataKinds, PolyKinds #-}
5 module T14728a where
6
7 import Data.Functor.Identity
8 import Data.Kind
9
10 class C (a :: Type) where
11 type T a (x :: a) :: Type
12 type U z :: a
13
14 instance C () where
15 type T () '() = Bool
16
17 deriving instance C (Identity a)
18
19 f :: T (Identity ()) ('Identity '())
20 f = True