Functional demo of isomorphic todos