blob: cb64d393a4ed16a26feaac845dccc777f4898493 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE DataKinds, PolyKinds, RankNTypes, GADTs #-}
module T7481 where
import Data.Proxy
data D a where
D1 :: a -> D a
D2 :: (a~Int) => D a
D3 :: forall (a::k) b. Proxy a -> D b
data Foo :: D * -> *
|