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