Monad, interpolable with Future.
called by the source, which accept callback. source is called immediatly in adoptCallbackStyle