aboutsummaryrefslogblamecommitdiff
path: root/html-test/src/Bug85.hs
blob: e29b2662eacbc0c2d853a6f48364136f5e46fb8b (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
                                      











                                        
{-# LANGUAGE GADTs, KindSignatures #-}
module Bug85 where

-- explicitly stated non-trivial kind
data Foo :: (* -> *) -> * -> * where
  Bar :: f x -> Foo f (f x)

-- Just kind * but explicitly written
data Baz :: * where
  Baz' :: Baz

-- No kind signature written down at all
data Qux where
  Quux :: Qux