gitlab-ci: Move hadrian-ghc-in-ghci job first
[ghc.git] / testsuite / tests / typecheck / should_compile / T16008.hs
1 {-# LANGUAGE DataKinds #-}
2 {-# LANGUAGE PolyKinds #-}
3 {-# LANGUAGE ScopedTypeVariables #-}
4 {-# LANGUAGE TypeFamilies #-}
5 module T16008 where
6
7 import Data.Kind
8
9 class C k where
10 type S :: k -> Type
11
12 data D :: Type -> Type
13 data SD :: forall a. D a -> Type
14
15 instance C (D a) where
16 type S = SD