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