Every year someone figures out that a program can pass the most rigorous compile time type checks and yet still be wrong.