Andrey Koppel
например Элм форсиирует писать больше кода чтобы покрыть все возможные случаиии
когда нужно покрывать все возможные кейсы, в том числе и невозможные - это проблема слабой системы типов (или плохо спроектированной модели, где можно сконструировать невозможные для домена кейсы)