left
TypeSafeEquals