It sounds like the cloud monad defined by MBrace for F# : https://lenadroid.github.io/posts/fsharp-cloud-monads-part-1...