Expressions as template parameters