blob: f717aa911af618d5dce33e4056cba5e4e58699f7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
module T18831 where
import Data.Kind
import Data.Proxy
data T1 :: Proxy 0 -> Type
data T2 :: () => Type
data T3 :: (Type :: Type) -> Type
data T4 :: Proxy '[Type,Type] -> Type
data T5 :: Proxy '(Type,Type) -> Type
|
