2292def96662cf747ce908eb803fc0a65012515b
[ghc.git] / testsuite / tests / dependent / should_compile / T11635.hs
1 {-# LANGUAGE TypeInType, KindSignatures, ExplicitForAll, RankNTypes #-}
2
3 module T11635 where
4
5 import Data.Kind
6
7 data X (a :: forall k. k -> * ) b = X