[Haskell] Haskell type containing no non-_|_ values?

[Janis Voigtlaender]

Tomasz Zielonka wrote:
> 
> On Fri, Mar 26, 2004 at 01:56:04PM +0100, Tomasz Zielonka wrote:
> >
> > I don't know if you can have both 'no newtype' and 'haskell 98'
> > satisfied.
> 
> Ross Paterson provided a solution using data.

I didn't yet see that solution since I receive Haskell mails in digest
mode. Anyway, "Haskell 98" is not a must. What I would want is a type
that doesn't need additional declarations, be it newtype or data.
"forall a. a" has this property, a pre-defined type would also have this
property. BTW, what is the reason for not allowing (forall a. a) as part
of a tuple?

Ciao, Janis.

--
Janis Voigtlaender
http://wwwtcs.inf.tu-dresden.de/~voigt/
mailto:voigt at tcs.inf.tu-dresden.de