Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / typecheck / should_compile / T11811.hs
1 {-# LANGUAGE PolyKinds, GADTs #-}
2
3 module T11811 where
4
5 import Data.Kind
6
7 data Test (a :: x) (b :: x) :: x -> *
8 where K :: Test Int Bool Double