blob: fd560db095aa75b76c8614d8622e7d630144e60e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# Language RankNTypes #-}
{-# Language DataKinds #-}
{-# Language PolyKinds #-}
{-# Language GADTs #-}
{-# Language TypeFamilies #-}
module T15874 where
import Data.Kind
data Var where
Op :: Var
Id :: Var
type Varianced = (forall (var :: Var). Type)
data family Parser :: Varianced
data instance Parser = P
|
