$maybe user <- maybeUser _{MsgLoggedAs} #{userIdent $ entityVal user} \ | _{MsgCreateChallenge} \ | _{MsgListChallenges} \ | _{MsgLogOut} $nothing _{MsgLogIn} $maybe msg <- mmsg

#{msg} ^{widget}