Safe HaskellSafe-Inferred
LanguageHaskell2010

Bug85

Documentation

data Foo (a :: Type -> Type) b where #

Constructors

Bar :: forall (a :: Type -> Type) x. a x -> Foo a (a x) 

data Baz where #

Constructors

Baz' :: Baz 

data Qux where #

Constructors

Quux :: Qux