Вообще, когда читал про лямбда-исчисление, как основу для функциональных языков, меня постоянно мучал вопрос -- откуда же тут следует сопоставление с образцом? Похоже что ниоткуда. А ведь сопоставление с образцом считается одной из ключевых особенностей современных ФЯ.