You can translate this directly to Haskell and it works as you would expect. You also have a lot of freedom on how to process the answer. catch (do

You can translate this directly to Haskell and it works as you would expect. You also have a lot of freedom on how to process the answer. catch (do user_id <- get_user_id <$> request user <- user_id . get_user <$> db.get_user authorize user print $ "Found user " <> user ^. name) (\e -> print "Error unauthorized) I don't want to say it.. but both this and Breakelse are rediscovering a basic use case of Monads :)