Пределы применения статической типизации

Очевидно, что статическая типизация не панацея, но все равно интересно натыкаться на места, где она никак не поможет гарантировать отсутствие ошибок.
Например, когда мы пишем предикат для фильтра для списка - если мы ошибемся в условии, это в compile time никак не отловишь, хоть тресни.
В этом плане хороши предметные области, где есть свои способы проверки, типа бухгалтерии. Там большинство отчетов можно проверить несколькими способами(если конечно, архитектура нормальная, а не "мы не можем сделать по-человечески, поэтому будем дублировать проводки в таблице два раза и отфильтровывать везде ненужные")