Can we have `String`s/`Cmd`s as type parameter?

General Usage
2

I found in this post and the docs of isbitstype and Val that only values that are isbits can be used, plus Symbols. See the first post for more details.