Higher-Order Vagueness