Jarrett Billingsley wrote: > Let's try to *simplify* metaprogramming and make things *orthogonal* > instead of tacking on features with no regard to the existing ones. Type matching cannot do what expression matching can do. You'd need a totally new syntax anyway to bring expression matching into the template type parameter list.