String () { StringBuilder res = new StringBuilder("*tuple["); StringUtil.join(myElementTypes, type -> type != null ? type.getName() : "Any", ", ", res); if (isUnbound()) { res.append(", ..."); } res.append("]"); return res.toString(); }