testsuite/tests/polykinds/T5937.hs


1
2
3
4
5
6
7
8

{-# LANGUAGE PolyKinds, KindSignatures, DataKinds, GADTs #-}
module T5937 where

import Data.Kind (Type)

data SMaybe :: (k -> Type) -> Maybe k -> Type where
   SNothing :: SMaybe s 'Nothing
   SJust :: s a -> SMaybe s ('Just a)