Example lifted functions from context: https://hackage.haskell.org/package/context

ContextLifted.hs

module ContextLifted where

import Control.Monad.Catch (MonadMask)
import Control.Monad.IO.Class

import qualified Context
import qualified Context.Internal
import qualified Control.Monad.Catch as Monad.Catch

adjust :: (MonadIO m, MonadMask m) => Context.Store ctx -> (ctx -> ctx) -> m a -> m a
adjust store f action = do
  adjustedContext <- liftIO $ Context.mines store f
  use store adjustedContext action

use :: (MonadIO m, MonadMask m) => Context.Store ctx -> ctx -> m a -> m a
use store context =
  Monad.Catch.bracket_
    (liftIO $ Context.Internal.push store context)
    (liftIO $ Context.Internal.pop store)