There are ways to compose monads, https://en.wikibooks.org/wiki/Haskell/Monad_transformers