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