path: root/testsuite/tests/polykinds/T15881a.hs

{-# Language KindSignatures #-}
{-# Language PolyKinds      #-}

module T15881a where

import Data.Kind

data A n (a :: n) :: a -> Type