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