Experimenting with pluck

example.hs

couldFail :: (MonadHttp m, OneOf err '[A, B]) => ExceptT err m [Key SomeEntity]

handleStuff :: Handler ()
handleStuff = do
  result <- runExceptT $ do
    action <- catchOneT (catchOneT couldFail
      \(A _) -> $(logWarn) "Handling an A failure" >> pure mempty)
      \(B _) -> $(logWarn) "Handling a B failure" >> pure mempty
    return action
  case result of
    Left _noMoreErrsHereIGuess -> do
      setMessage $ text $ "There were failures"
      redirect HomeR
    Right _thisCouldBeEmptyBecauesFailure -> do
      redirect HomeR