blob: e4968a1654c260d4e7638e5ca66e51b3d30416e7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# LANGUAGE GADTs #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeInType #-}
module T15215 where
import Data.Kind
data A :: Type -> Type where
MkA :: Show (Maybe a) => A a
data B :: Type -> Type where
MkB :: Show a => B a
data SA :: forall a. A a -> Type where
SMkA :: SA MkA
SMkB :: SA MkB
|