def is_simple_arrow(a):
    a = a.get_repr()
    if isinstance(a, TypeArrow):
        lhs = a.left
        rhs = a.right
        if (lhs.get_repr() == rhs.get_repr()):
            return True
    return False
def is_simple_arrow(a):
    a = a.get_repr()
    if isinstance(a, TypeArrow):
        lhs = a.left
        rhs = a.right
        if (lhs.get_repr() == rhs.get_repr()):
            return True
    return False