blob: dbc52f0e4e1bda905abcbcc4b4e770a4406ff525 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
module T7347 where
data K = forall a. T a -- Existential: promotion gives 'T :: forall k. k -> K
data G :: K -> * where
D :: G (T []) -- Uses existential
|
