Safe HaskellSafe-Inferred

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