template statistics

[jmh530]

On Wednesday, 3 June 2020 at 04:52:37 UTC, Stefan Koch wrote:
> [snip]
>
> If the template sounds like a question about a type,
> Like (CharTypeof or isIntegral) it probably should not be a 
> template.


I was a little confused by this.

Given your recent work on type functions, do you mean that type 
functions should replace templates in situations like that? That 
would imply that things like `isIntegral` has to be a template 
now, but could be changed in the future, correct? Do you think 
something like mir's `sumType` [1] should not be a template?


[1] 
https://github.com/libmir/mir-algorithm/blob/f111c311eadb0057f5a233c156b772a010ceab71/source/mir/math/sum.d#L1986