def add(x: (**P) -> int) -> (Concatenate(str, **P)) -> bool