def foo(x: (ParamSpec("P")) -> int,
        y: (ParamSpec("P")) -> int) -> (ParamSpec("P")) -> bool