Здравствуйте, WolfHound, Вы писали:

WH>Полноценную навигацию и рефакторинг сделать можно? Нет!
WH>Что дает? Ничего!

Валяй, затипизируй в своем любимом Хиндли-Милнере от природы динамические DOM-деревья. Паржом. И покажи, чем pattern-matching будет в работе с ними удобнее, чем типичные для JS, насквозь динамические селекторы вида $('.node').