unit a
unit b(a)

def func(x: in a):
    print("in a")

def func(x: in b):
    print("in b")

def main(x):
    func(x in a)
    func(x in b)

# EXECUTE
# in a
# in b