@typecheck_method(v=IR, typ=hail_type)
def __init__(self, v, typ):
    super().__init__(v)
    self.v = v
    self.typ = typ
@typecheck_method(v=IR, typ=hail_type)
def __init__(self, v, typ):
    super().__init__(v)
    self.v = v
    self.typ = typ