blob: 7aa37358a8d995cfd3a79218e5157f359a0b494c (
plain)
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
|