hi all, can you point me to an example of mixing O...

# arrow

[ivanmorgillo]

hi all, can you point me to an example of mixing Option and Either binding, please? I'm struggling with some inference errors 🤔

[raulraja]

In general you can't compose different monads because each one of them requires the continuation to be (A) -> F<B> And the F in mixing two different monads would represent in one Either and in the other Option so as Paco mentioned you can use toEither on Option to not loose info and let the binding happen over Either.