... in order to evaluate InfRec<T>::value ...

I've been spoiled lately, this is jarring to read.

    InfiniteRecursion<T>::value

C'mon, spoil me some more, text is cheap :-)