def foo(arg) Inferred type: (arg: unknown) -> int