haskell - 解釈された強盗からコンパイルされた強盗へ

Question

コンパイルされた強盗の概念を理解できていないようです。ネット上には例がありません。簡単なコード スニペットを解釈済みからコンパイル済みに変更するにはどうすればよいでしょうか。

例えば：

listUsersH :: AppHandler ()
listUsersH = do
  users <- liftIO $ getColList "users"
  let userListS = mapSplices userLinkS users
  heistLocal (bindSplice "users" userListS) $ render "list-users"
  where
    userLinkS d = runChildrenWithText [("user",T.pack $ at "uname" d)]

「runChildren」、「mapSplices」、「bindSplice」、および「render」の単純な組み合わせを、コンパイルされた強盗でどのように実行しますか?

概念が異なり、「heistLocal」がないことは理解しています..しかし、今戻って、一連のレコードを「for each」ループ方式で表示するなどの基本的なことを行う方法を再学習する必要があります。誰かがこれを明確にして、上記のような単純な例を示すことができますが、コンパイルされた強盗がありますか?

現時点では、コンパイルされた強盗で単純な変数置換を行う方法さえ知りません。たとえば、これは次のとおりです。

simpleString = "Insert me..."
insertString = heistLocal (bindSplices spl) $ render "tst"
where
  spl = [("var", textSplice simpleString)]

誰かが基本を手伝ってくれるか、最小限の例がある場所を教えてください。snap Web サイトのドキュメントを読みました。