blob: 53979aee5f3a0436ea431e9182e55bdcb89e9c85 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE Haskell2010 #-}
{-# 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
|
