An example of derived lists in ReactiveUI