* Reactive library ported to monad syntax