Simplify Bifunctor PromiseEff in terms of Bifunctor Promise