>>23
Actually, Sepples templates are touring-complete, so it
is asking for an infinite loop detector. (Of course, in practice, template expansion depth is limited, but in practice,
all things are limited. Also, you can still create unimaginable evils with low instantiation depths.)