$newline never
\<!doctype html>
<html>
  <head>
    <meta charset="UTF-8">
  <body>
    <dl>
      $case userInfo
        $of Left (Just Address{..})
          $maybe name <- addressName
            <dt>Name
            <dd>#{name}
          <dt>E-Mail
          <dd>#{addressEmail}
        $of Left  Nothing
        $of Right Nothing
          <dt>Ungültige UserId erhalten!
        $of Right (Just (Entity _ User{userDisplayName, userSurname, userIdent, userEmail, userMatrikelnummer, userMailLanguages}))
          <dt>Name
          <dd>^{const (const (nameHtml userDisplayName userSurname))}
          <dt>Identifikation
          <dd>#{userIdent}
          <dt>E-Mail
          <dd>#{userEmail}
          $maybe matrnr <- userMatrikelnummer
            <dt>Matrikelnummer
            <dd>#{matrnr}
          $if not (null (mailLanguages userMailLanguages))
            <dt>Präferierte E-Mail Sprachen
            $forall lang <- mailLanguages userMailLanguages
              <dd>#{lang}
      <dt>Zeit
      <dd>#{rtime}
      $maybe referer <- jReferer
        <dt>Referer
        <dd>
          <a href=#{referer} style="font-family: monospace">
            #{referer}
    <p style="white-space: pre-wrap; font-family: monospace">
      #{jHelpRequest}
