nested :: Parser [TaggedAToken]
nested = withToken $ \t ->
    case t of
        ATokNested ts -> Just ts
        _ -> Nothing
nested :: Parser [TaggedAToken]
nested = withToken $ \t ->
    case t of
        ATokNested ts -> Just ts
        _ -> Nothing
nested = withToken $ \t ->
    case t of
        ATokNested ts -> Just ts
        _ -> Nothing