testsuite/tests/typecheck/should_compile/T15807a.hs


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

{-# Language RankNTypes       #-}
{-# Language TypeApplications #-}
{-# Language PolyKinds        #-}
{-# Language GADTs            #-}

module T15807a where
import Data.Kind

data
  App :: forall (f :: Type -> Type). Type -> Type
  where
  MkApp :: f a -> App @f a