$newline never $if is _Just mcid $maybe wdgt <- correctionWdgt

_{MsgTableRating} $maybe warning <- correctionVisibleWarnWidget ^{warning} ^{wdgt}

_{MsgSubmissionUserTable} ^{maybeVoid multipleSubmissionWarnWidget} $if not (null subUsers)
_{MsgSubmissionUserDisplayName} $if isLecturer
_{MsgSubmissionUserMatriculation}
_{MsgSubmissionUserEmail} $forall subUser <- subUsers $case subUser $of Left email
^{simpleLink (nameWidget userDisplayName userSurname) (CourseR tid ssh csh (CUserR uCId))} $if isLecturer
$maybe matriculation <- userMatrikelnummer #{matriculation}