semantic/test/fixtures/haskell/corpus/gadt-declarations.B.hs

data Bar a b c where
  Baz :: a -> b -> c -> Bar a b c

data Bar f a where
  Baz :: { jolo :: Maybe String, runJolo :: f a } -> Bar f a

data Bar a :: [*] -> [*] where
Assign GADT declarations without constructors 2018-06-05 22:26:42 +03:00			`data Bar a b c where`
Assign simple GADTs 2018-06-06 02:01:56 +03:00			`Baz :: a -> b -> c -> Bar a b c`
Assign fields within GADT constructors 2018-06-07 00:42:25 +03:00
			`data Bar f a where`
			`Baz :: { jolo :: Maybe String, runJolo :: f a } -> Bar f a`
Release the kinds! 2018-06-07 01:41:57 +03:00
			`data Bar a :: [] -> [] where`