UI

It is not true. Not being async you solves the problem. You solves the problem because you leave Mithril room between end and start computation to update the DOM.