$forall node <- forestWithIds $with m <- TR.rootLabel (fst node)
  • #{messageDateRel m} - #{messageFrom m} ^{tagWidget (Right m)} Reply Reply All
    ^{messageWidget m} ^{messages (TR.subForest (fst node))}