Data.Anything

Useless existential datatypes holding evidence of no constraint.

Documentation

data Anything where

A datatype containing anything. You can't do anything with it.

Constructors

Anything :: a -> Anything

Instances

Show Anything

Typeable Anything

Existential Anything

ConstraintOf Anything = Empty

data Anything1 a where

A datatype containing any * -> * kinded type constructor applied to a. You can't do anything with it.

Constructors

Anything1 :: f a -> Anything1 a

Instances

Typeable1 Anything1

Existential1 Anything1

ConstraintOf1 Anything1 = Empty

Show (Anything1 a)