代码折叠与元与值.

    元<类...G>允许如型<元与值<是基<B,G>...>> 
    元<类...G>允许如型<(是基值<B,G>&&...)> 

上面两句大致相同,详细见
注意.元与内部是<型>,而不是值,避免编译不过去.
以及折叠表达式的用法,不能省略括号(??&&...).