testsuite/tests/typecheck/should_compile/T11237.hs


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

{-# LANGUAGE DataKinds, KindSignatures #-}
{-# LANGUAGE GADTs #-}
module T11237 where

import qualified Data.Kind

data Works :: Data.Kind.Type where
  WorksConstr :: Works

type Set = Data.Kind.Type

data ShouldWork :: Set where
  ShouldWorkConstr :: ShouldWork