// TODO: more cases
sS tok_typeArgs_declToInvocation(S typeArgs) {
  ret jreplace(typeArgs, "extends <id>", "");
}