-- An error should not occur here if you already checked for the token yourself
advance _ = error $ "Expecting discardable symbol but got EOF"
advance _ = error $ "Expecting discardable symbol but got EOF"
advance _ = error $ "Expecting discardable symbol but got EOF"