@typecheck_method(i=int, typ=hail_type)
def __init__(self, i, typ):
    super().__init__()
    self.i = i
    self.typ = typ
@typecheck_method(i=int, typ=hail_type)
def __init__(self, i, typ):
    super().__init__()
    self.i = i
    self.typ = typ