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