haskell - HappstackでHSPとAcid-stateを形にまとめようとしている

Question

私は Happstack Crash Course に従いましたが、今はさまざまなことをまとめようとしています。

「reform を使用したタイプ セーフなフォーム処理」( http://happstack.com/docs/crashcourse/Reform.html#reform ) から、この登録フォームをコーディングしました。

register :: AcidState UserBase -> ServerPart Response
register acid = unXMLGenT $
  appTemplate "register" () $
        reform (form "/register") "register" (insertAndRenderUser acid) Nothing registerForm

insertAndRenderUser :: (Monad m) => AcidState UserBase -> User -> AppT m XML
insertAndRenderUser acid user = 
    <dl>
      <dt>lastname:</dt>    <dd><% lastName user    %></dd>
      <dt>firstname:</dt>   <dd><% firstName user   %></dd>
      <dt>email:</dt> <dd><% email user %></dd>
      <dt>birthday:</dt> <dd><% show (birthday user) %></dd>
    </dl>


registerForm :: SimpleForm User
registerForm =
    User (UserId 0)
     <$> (errorList ++> label "Last name:"  ++>  (inputText "" `transformEither` required) <++ br)
     <*> (errorList ++> label "First name:" ++> (inputText "" `transformEither` required) <++ br)
     <*> (errorList ++> label "E-mail:"     ++> (inputText "" `transformEither` required) <++ br)
     <*> (errorList ++> label "Birthday:"   ++> (inputText "" `transformEither` requireDate) <++ br)
     <*  inputSubmit "Register"

フォームが成功したときに登録ユーザーを追加したいと思います。この UserBase は、acid-state ( http://happstack.com/docs/crashcourse/AcidState.html#ixset )を使用してコーディングしました。

insertUser :: MonadIO m => AcidState (EventState InsertUserIntern) -> User -> m (EventResult InsertUserIntern)  
insertUser acid user = do
  update' acid (InsertUserIntern user)

スニペットは別々に機能しますが、どこに挿入できinsertUser acid userますinsertAndRenderUserか?

あなたが私を助けてくれることを願っています
ありがとう
Flo