testsuite/tests/hsc2hs/T11004.hsc


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

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}

module T11004 where

import Data.Kind (Type)

data Foo = Foo' | Bar

data Indexed :: Foo -> Type where
  IndexedA :: Indexed ' Foo'
  IndexedB :: Indexed 'Bar