Pas du tout besoin de transformeurs, c'est même pas monadique en fait, c'est juste applicatif.
(tes valeurs sont sont encapsulées deux fois, dans (Either ErrorBidule), puis dans IO. Ta fonction f à deux parametre peut être liftée une fois pour travailler sur Either ErrorBidule, et une seconde fois pour travailler sur IO.
[^] # Re: deux solutions :
Posté par foobarbazz . En réponse au message Haskell : simplifier 2 "case" imbriqués. Évalué à 2.
Honte à moi, j'ai pas vu la jolie solution que tu suggérais pourtant :
Pas du tout besoin de transformeurs, c'est même pas monadique en fait, c'est juste applicatif.
(tes valeurs sont sont encapsulées deux fois, dans (Either ErrorBidule), puis dans IO. Ta fonction f à deux parametre peut être liftée une fois pour travailler sur Either ErrorBidule, et une seconde fois pour travailler sur IO.