\(_: Bool) -> \(_: Bool) -> _@1 && _