Bool → Bool -> Bool