Monad Transformer for Observable.  But, ObservableTSpec sometimes fails with StackOverflow. I'm not sure why...