Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T7481.hs
1 {-# LANGUAGE DataKinds, PolyKinds, RankNTypes, GADTs #-}
2
3 module T7481 where
4
5 import Data.Proxy
6
7 data D a where
8 D1 :: a -> D a
9 D2 :: (a~Int) => D a
10 D3 :: forall (a::k) b. Proxy a -> D b
11
12 data Foo :: D * -> *