TodoMVC on xstyle (and dstore)