def test8():
assert type_check(*parse('''
(flexk ((x int) (y bool)) 1): (=> (int bool int) int)
''')) == False
def test2():
assert type_check(*parse('(flexk (()) 1): (=> () bool)')) == False
def test1():
assert type_check(*parse('(flexk (()) 1): (=> () int)')) == True
def test7():
assert type_check(*parse('''
(flexk ((x int) (y bool)) 1): (=> (int bool) int)
''')) == True
def test6():
assert type_check(*parse('''
(flexk ((x int)) 1) : (=> () int)
''')) == False
def test5():
assert type_check(*parse('''
(flexk ((x int)) 1) : (=> (int) int)
''')) == True
def test4():
assert type_check(*parse('''
(flexk (()) (abs ((x int) (y int)) 1)) : (=> () (-> (int) int))
''')) == False