`ViewObservable` is from #783