$newline never
$case bonusRule
  $of ExamBonusPoints ps False _
    _{MsgExamBonusPoints ps}
  $of ExamBonusPoints ps True _
    _{MsgExamBonusPointsPassed ps}