`(List* T)` is just `T`. This follows the behavior of the `list*`
function, where `(list* 5)` produces 5.
You can explore this using the `:type` form at the REPL. For example,
```
> (:type (List* String))
String
> (:type (List* String String))
(Pairof String String)
> (:type (List* String (List String)))
(List String String)
```
I've pushed a clarification to the documentation.
> To view this discussion on the web visit
https://groups.google.com/d/msgid/racket-users/20200603194902.27zjystdhecumoup%40topoi.pooq.com.