Rasa: Extremely modular text editor built in Haskell(github.com)

    SqlStreamingAction[Vector[(String, Int)],(String, Int),Effect]

    bindingsToSet :: Monad ctx =>
                     LEnvironment ctx ->
                     [Binding NExpr] ->
                     LazyValue ctx
    bindingsToSet env bindings = do
      let start = InProgress mempty
      finish <- flip execStateT start $ forM_ bindings $ \case
        NamedVar keys expr -> do
          -- Convert the key expressions to a list of text.
          keyPath <- lift $ mapM (evalKeyName env) keys
          -- Insert the key into the in-progress set.
          let lval = evalNExpr env expr
          get >>= lift . insertKeyPath keyPath lval >>= put
        Inherit maybeExpr keyNames -> forM_ keyNames $ \keyName -> do
          -- Evaluate the keyName to a string.
          varName <- lift $ evalKeyName env keyName
          -- Create the lazy value.
          let lval = evalNExpr env $ case maybeExpr of
                Nothing -> mkSym varName
                Just expr -> mkDot expr varName
          -- Insert the keyname into the state.
          get >>= lift . insertKeyPath [varName] lval >>= put
      -- Convert the finished in-progress object into a LazyValue.
      convertIP finish