testsuite/tests/polykinds/T15817.hs


1
2
3
4
5
6
7
8
9
10

{-# Language RankNTypes       #-}
{-# Language PolyKinds        #-}
{-# Language TypeFamilies     #-}

module T15817 where

import Data.Kind

data family   X :: forall (a :: Type). Type
data instance X = MkX