<nav>
<div id="top-nav">
<ul id="user-nav">
$maybe user <- msu
Logged in as #{fromJust msu}
<li>
<a href=@{LogoutR}>Logout
$nothing
<a href=@{LoginR}>Login
<a href=@{SignupR}>Signup
$maybe msg <- mmsg
<div #message>#{msg}
^{widget}