testsuite/tests/polykinds/T5937.hs


1
2
3
4
5
6

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

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