Но у неё есть и недостатки, первый и главный из которых - это отсутствие сокрытия данных. Чуть поменялась структура - и вперёд по всему коду менять паттерны!

1. Нам в том поможет компилятор и
2. Это, оказывается, серъезная проблема, над которой работал и Вадлер в том числе.
От тут http://lambda-the-ultimate.org/node/2231 и тут http://lambda-the-ultimate.org/node/2232