'Try to unify this type with the *other*.  A third type must
be returned, or None if unification is not possible.
Only override this if the coercion logic cannot be expressed
as simple casting rules.'

def unify(self, typingctx, other):

    return None
