{% if self.has_optional_user() %}

{% match user %}
{% when Some with (usr) %}
<div class="header_logged_in">
    Hello, {{ usr.username }}!
</div>
<div class="header_signout">
    <input type="submit" value="sign out?">
    </form>
</div>
{% else %}
<div class="header_logged_out">
    Heya, why don't you <a href="/login">log in</a> or <a href="/signup">sign up</a>?
</div>
{% endmatch %}

{% else %}

{% endif %}

<hr/>