@typecheck_method(args=sequenceof(IR), typ=nullable(hail_type))
def __init__(self, args, typ):
    super().__init__(*args)
    self.args = args
    self.typ = typ
@typecheck_method(args=sequenceof(IR), typ=nullable(hail_type))
def __init__(self, args, typ):
    super().__init__(*args)
    self.args = args
    self.typ = typ