Is there Higher-Order Vagueness?