P[O]VString -> *[O]String