Type level evidence that type A is not type B.
A
B
Returns a string representation of the object.
The default representation is platform dependent.
a string representation of the object.