downcasts from IFunction[Boolean] to IObservable[Boolean] are also checked