У меня возник вопрос, как правильно написать следующее поведение. Вот

у меня есть три фукнции в монаде Either. И я могу написать код функции doitE следующим образом.
fooE :: Int -> Either String Int
fooE a | even a = Left "No no no a"
| otherwise = Right a

barE :: Int -> Either String Int
barE b | even b = Left "No no no b"
| otherwise = Right b

doitE :: Int -> Int -> (Either String Int)
doitE a b = do
a' <- fooE a
b' <- barE b
pure $ a' + b'
получив следующее поведение в консоле
-- console:
-- ghci> doitE 1 2
-- Left "No no no b"
-- ghci> doitE 1 1
-- Right 2
-- ghci> doitE 2 1
-- Left "No no no a"
А что делать, когда у меня появляется дополнительный контекст для них в монаде IO. Как я могу получить такое же поведение? Просто разворачивание Either уже с ума сводит с какого-то количества. Здесь <- <- попытка изобразить место, где я бы хотел добраться до значения (если оно есть с конструктором данных Right)
-- I want:
foo :: Int -> IO (Either String Int)
foo a | even a = pure $ Left "No no no a"
| otherwise = pure $ Right a

bar :: Int -> IO (Either String Int)
bar b | even b = pure $ Left "No no no b"
| otherwise = pure $ Right b

doit :: Int -> Int -> IO (Either String Int)
doit a b = do
a' <- <- foo a
b' <- <- bar b
pure . pure $ a' + b'
а вот желаемое поведение:
-- console:
-- ghci> doit 1 2
-- Left "No no no b"
-- ghci> doit 1 1
-- Right 2
-- ghci> doit 2 1
-- Left "No no no a"

Например, так, если не ExceptT: doit a b = do a' <- foo a b' <- bar b pure $ do a'' <- a' b'' <- b' pure $ a'' + b''