blob: cef48e31e08869a518258a36c92c697e0da95325 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
{-# LANGUAGE UnliftedDatatypes #-}
{-# LANGUAGE GADTSyntax #-}
{-# LANGUAGE KindSignatures #-}
module UnlDataMonoSigs where
import GHC.Exts
import GHC.Types
data T1 a :: UnliftedType where
MkT1 :: T1 a
type T2 :: Type -> UnliftedType
data T2 a = T2
type T3 :: Type -> UnliftedType
data T3 a where
MkT3 :: T3 a
type T4 :: Type -> UnliftedType
data T4 a :: UnliftedType where
MkT4 :: T4 a
|