witness-0.2: values that witness types
Data.Witness.Type
Synopsis
data Type a Source
The simplest Representative, with one value that represents all types.
Representative
Constructors
Instances