Functional reactive todo lists