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

× #{msg} ^{widget}