Maybe we should match `token == []` directly in the clause?