Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / indexed-types / should_fail / T13972.hs
1 {-# LANGUAGE DataKinds #-}
2 {-# LANGUAGE PolyKinds #-}
3 {-# LANGUAGE TypeFamilies #-}
4 module Bug where
5
6 import Data.Kind
7
8 class C (a :: k) where
9 type T k :: Type
10
11 instance C Left where
12 type T (a -> Either a b) = Int