I would suggest looking into more advanced monadic concepts (including monad transformers, free monads, continuation monads, etc.), and perhaps Lenses.