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

[singularitti]

Duplicate of Arguments for Value types