Safe HaskellSafe-Inferred
LanguageHaskell2010

Bug85

Documentation

data Foo :: (* -> *) -> * -> * where #

Constructors

Bar :: f x -> Foo f (f x) 

data Baz :: * where #

Constructors

Baz' :: Baz 

data Qux where #

Constructors

Quux :: Qux