Details for primitively consuming an equality.
Trait used to convince the rust type checker of the claimed equality.
A consumer recives evidence of a type equality T == U and computes a result.
T == U