Add regression test for #16347
[ghc.git] / testsuite / tests / dependent / should_compile / T16347.hs
1 {-# LANGUAGE GADTs #-}
2 {-# LANGUAGE TypeInType #-}
3 module T16347 where
4
5 import Data.Kind
6
7 data T f :: f Type -> Type where
8 MkT :: T f a