Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / deriving / should_compile / T11732a.hs
1 {-# LANGUAGE DeriveGeneric #-}
2 {-# LANGUAGE TypeFamilies #-}
3 {-# LANGUAGE PolyKinds #-}
4 module T11732a where
5
6 import GHC.Generics
7
8 data Proxy k (a :: k) deriving Generic1
9
10 data family ProxyFam (a :: y) (b :: z)
11 data instance ProxyFam k (a :: k) deriving Generic1