Bool → Bool → Bool
