testsuite/tests/polykinds/T5716.hs


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

{-# LANGUAGE GADTs                      #-}
{-# LANGUAGE TypeFamilies               #-}
{-# LANGUAGE PolyKinds, DataKinds       #-}

module T5716 where

import Data.Kind (Type)

data family DF a
data instance DF Int = DFInt

data U = U1 (DF Int)

data I :: U -> Type where I1 :: I (U1 DFInt)