Rewrite TodoMVC via Reflux