witness-0.2: values that witness types

Data.Witness.Type

Synopsis

Documentation

data Type a Source

The simplest Representative, with one value that represents all types.

Constructors

Type 

Instances