Грех динамических типов

Стоило сначала поиспользовать кложурь, а потом руби - буквально через месяц во все проекты вползли гопнетные dynamic, а я сижу читаю вот такое http://stackoverflow.com/questions/1653046/what-are-the-true-benefits-of-expandoobject и борюсь с искушением воткнуть его во все места проекта, где статик типы вызывали ад лапши из паттернов.
Анальные боги хаскеля и теории категорий меня проклянут, надо срочно каких зависимых типов вкурить или скалой обдолбаться, пока не поздно. Или продолжить употребление тяжелых веществ и сделать еще какое-нибудь грехопадение на х-ле.