blob: 51e5958fa9896ae1e404c98b8a9981097b3b3ea8 (
plain)
1
2
3
4
5
6
7
8
|
{-# LANGUAGE DataKinds, KindSignatures, PolyKinds, GADTs, ExistentialQuantification #-}
module T6049 where
data SMaybe :: (k -> *) -> Maybe k -> * where
SNothing :: forall (s :: k -> *). SMaybe s Nothing
SJust :: forall (s :: k -> *) (a :: k). SMaybe s (Just a)
|
