witness-0.1: values that witness types
Data.Witness.EqualType
Synopsis
data EqualType a b whereSource
witness that type parameters a and b are the same type
a
b
Constructors
Instances