KV
А если представить, как бы это всё выглядело по-человечески, то есть например reflex на хаскелле, правда, поскольку это библиотека, а не новый ЯП, то местами уж очень много перхоти приходится наворачивать
Т. е. например вместо Int писать
(MonadРаз m, MonadДва m, Reflex t) => m (Event t Int)

