Early detection of type errors in templates

[Dicebot via Digitalmars-d]

On Sunday, 14 September 2014 at 22:12:23 UTC, bearophile wrote:
> This paper suggests a way to improve the detection of errors 
> inside C++-style templated code without reducing expressivity 
> of the templates (and without annotations or Concepts), I 
> presume the same ideas are usable in D:
>
> "Early Detection of Type Errors in C++ Templates" by Sheng 
> Chen, Martin Erwig:
> http://web.engr.oregonstate.edu/~erwig/papers/C++TemplateErrors_PEPM14.pdf
>
> Bye,
> bearophile

I am rather terrible at calculus and math in general, is it 
possible to provide a very short example of errors that can be 
detected with such system?