$maybe prev <- mprev
  • ← #{makeSnippet 15 $ articleTitle prev} $maybe next <- mnext
  • #{makeSnippet 15 $ articleTitle next} → ^{articleView Nothing article} $if (not $ null trackbacks)

    _{MsgTrackbacks}
    Trackback URL:
      $forall t <- trackbacks
    • #{fromMaybe (trackbackUrl t) $ trackbackTitle t} $else

      _{MsgNoTrackbacks}
      Trackback URL: $if (not $ null comments)

      _{MsgComments} $forall c <- comments
      #{commentBody c}
      #{commentAuthor c}
      #{show $ commentCreatedAt c} $else

      _{MsgNoComments} $maybe (widget, enc) <- mCommentForm

      _{MsgLeaveComment}
      ^{widget}
        $maybe prev <- mprev
      • ← #{makeSnippet 15 $ articleTitle prev} $maybe next <- mnext
      • #{makeSnippet 15 $ articleTitle next} →