Type.Eq.Unsafe

unsafeCoercion

unsafeOuterEq

unsafeInnerEq