$newline never
$forall slot <- slotsToDisplay
_{MsgScheduleTableHeadTime} $forall (_, weekDayTitle, weekDayIdent) <- weekDays _{weekDayTitle}
^{slotToDisplayTime slot} $forall (day, _, _) <- weekDays
$maybe dayEvents <- Map.lookup day courseEvents $maybe slotEvents <- Map.lookup slot dayEvents $forall ScheduleEntry{seCourse=Entity _ Course{courseTerm,courseSchool,courseShorthand,courseName},seType,seRoom,seOccurrence} <- slotEvents
#{CI.original courseName}: # $case seType $of SETCourseEvent{..} #{CI.original setceType} $of SETTutorial{..} #{CI.original settType} $of SETExamOccurrence{..} #{seteoExamName}
$maybe room <- seRoom _{MsgScheduleRoom}: #{room}
^{formatOccurrenceW seOccurrence}