blob: 98b5e841b8e7b1729bd63a73b44f2a3f39e9c987 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE Haskell2010 #-}
{-# 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
|
