Safe HaskellSafe

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