--- The Void type is represented as a data type with no constructors
--- It's a built in type (i.e. there's no way to define it in Haskell
--- the nearest would be
---
--- data Void = -- No constructors!
---
--- It's boxed; there is only one value of this
--- type, namely "void", whose semantics is just bottom.
-voidTy = mkTyConTy voidTyCon
-
-voidTyCon = pcDataTyCon voidTyConKey pRELUDE_BUILTIN SLIT("Void") [] []
-\end{code}
-
-\begin{code}