Паттерн Model-Update-View и зависимые типы

Написал статью на Хабре о том, чего нет в Elm.
Кто не может комментировать там, могут комментировать здесь.