testsuite/tests/rename/should_compile/T9778.hs


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

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeOperators #-}

module T9778 where

import Data.Kind

data T = A | B

data G a where
  C :: G A

data D = MkD Type Type

type S = Int `MkD` Bool