monadFilter
FutureEitherSyntax