In the following page https://github.com/hashicorp/web-unified-docs/blob/main/content/terraform-plugin-framework/v1.16.x/docs/plugin/framework/handling-data/types/list.mdx

It is complicated to understand how I can get a []string from []types.String.

Could you add documentation about this? Or better provide helper function that do this task easily?