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