Сравнение дизайна по контракту с системами типов

Недавно я прочитал статью, в которой сравнивали разработку по контракту с разработкой, управляемой тестированием. Кажется, много совпадений, некоторая избыточность и немного синергии между DbC и TDD. Например, существуют системы для автоматического создания тестов на основе контрактов.

Каким образом DbC пересекается с современной системой типов (например, в haskell или одном из этих языков с зависимой типизацией) и есть ли моменты, когда лучше использовать оба чем оба?