Bool → Bool → Bool