Initial monad instance for futures.