blob: 0f26bcf330de9d9fe56e7e25b8de32ed7707cb1e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE GADTs, PolyKinds, RankNTypes, TypeApplications, DataKinds #-}
module T11554 where
import Data.Kind
data P1 (x :: k) = Q1
data A1 :: Type where
B1 :: forall (a :: A1). P1 a -> A1
data P2 k (x :: k) = Q2
data A2 :: Type where
B2 :: P2 A2 a -> A2
data P3 (x :: k) = Q3
data A3 :: Type where
B3 :: P3 @A3 a -> A3
|