testsuite/tests/polykinds/T7481.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

 {-# LANGUAGE DataKinds, PolyKinds, RankNTypes, GADTs #-}

module T7481 where

import Data.Kind (Type)
import Data.Proxy

data D a where
  D1 :: a -> D a
  D2 :: (a~Int) => D a
  D3 :: forall k (a::k) b. Proxy a -> D b

data Foo :: D Type -> Type