testsuite/tests/typecheck/should_fail/T15807.hs


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

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

module T15807 where
import Data.Kind

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