A to-do list example would be a good way to demonstrate: - The `List` data structure - The `StateMachine` derive macro It could use the [TodoMVC](https://todomvc.com/) styling.