How to deal with Tasks<Monad<T>> types when you have multiple in a pipeline.

[FreeApophis]

Example:

We have two functions which are asnyc because they get data asynchronosly, the second function needs the value of the first, a typcal sitation for SelectMany:

Task<Option<int>> GetId() => ...
Task<Option<int>> GetObjectById(int) => ...

// type bingo!
Option<int> y = (await (await GetId()).Select(x => f(x))).SelectMany(Identity);

If the functions would not be async we could easily use the typical SelectMany pipelines, ideally we would have something like this:

GetId().SelectMany(GetObjectById)

or

from id in GetId()
from o in GetObjectById(id)
select o;

• The same applies to the other Monads (Either, Reader)