Да, Hasskell и да, именно это она и делает :) ну и ещё тут три обработчика переходов весят, правда, два из них пустышки, но лог показывает, что они честно вызываются Ж)