I believe that monad transformers can be used to solve this issue.