В книжке Programming in Scala есть 29 глава, "Modular programming using objects". Или вот на ту же тему:
http://xeno-by.livejournal.com/75612.htmlИ вот еще пример:
https://www.precog.com/blog-precog-2/entry/existential-types-ftwТак вот, пока под руками нет задачи, требующей для решения именно этой модульности-на-объектах, понять в этом невозможно ничего. По отдельности слова и код понятны, вместе - ну хер поймешь, зачем это вообще надо и с какими целями так делается.
Это примерно, как описывать иммутабельность и ФВП человеку, который сам не дошел до них на практике, хотя бы в виде readonly/final полей-переменных и разных там паттернов, имитирующих ФВП.