@typecheck myfunc(a: int, b: