Regression test for #12742
[ghc.git] / testsuite / tests / dependent / should_compile / T12742.hs
1 {-# LANGUAGE TypeInType, RankNTypes, TypeFamilies #-}
2
3 module T12742 where
4
5 import Data.Kind
6
7 type family F :: forall k2. (k1, k2)
8
9 data T :: (forall k2. (Bool, k2)) -> Type
10
11 type S = T F