witness-0.1: values that witness types

Data.Witness.EqualType

Synopsis

Documentation

data EqualType a b whereSource

witness that type parameters a and b are the same type

Constructors

MkEqualType :: EqualType t t 

Instances