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