An implementation of TodoMVC using the Lanes framework