Воспроизвести контрпример к Лифту для сохранения состояния

Question

В ответе Криса Хагана о Lift vs Play он утверждает, что состояние Lift действительно облегчает кодирование, приводя этот пример для Lift:

private def inviteUser(group:Group) = {
a(() =>{
  SpamServer ! Spam(
    self=>
      List(
        Text("Who would you like to invite?"),
        UserInformation.findAll.map(user=>
          a(()=>{
            self.done
            GroupServer ! GroupInvite(currentUser.is,user.name.is,group.name)
            Call("pendingInvitation",user.name.is)
          }, <div>{user.name}</div>))),true)
  Call("buildingUserlist")
}, Text("Invite"))

}

Я ищу пример счетчика Play для примера Lift Криса Хагана, в котором используется тот же фрагмент приложения, чтобы упростить процесс понимания различий между Lift и Play при обработке состояния состояния.